Logic is used to supply formal semantics of how reasoning functions should be applied to the symbols in the KR system.
Mantiq exdam ihuk n formal semantics n immik wa s timachɣulen ilzam ad asaxdam nasnat i rams tan daɣ sistem wan KR