Mantiq exdam ihuk n formal semantics n immik wa s timachɣulen ilzam ad asaxdam nasnat i rams tan daɣ sistem wan KR