a logica vien usà par darghe a semantica formałe de come e funsioni de rajonamento dovarìe essar zontàe ai simbołi nel sistema KR.