A lògica a vëgne addeuviâ pe fornî a semantica formale de comme e fonçioin de raxonamento dovieivan ëse applicæ a-i scimboli into scistema de representaçion da conoscensa (KR).