Mantıq, KR sistemadaki timsallarğa fikir yürsetüv işleriniñ nasıl tatbiq etilgenine dair şekliy semantika teminlemek içün qullanıla.