La logich l’è duperada per furnir una semantich furmal de cuma i funziun de ragiunament g’han de vèss aplicà ai simbul in del sistèm KR.