Cau
ako zistim ci je teoria splnitelna? Mam teoriu
{(∀x)(∀y)p(x, y) ∨ p(y, x), (∃x)¬p(x, x)}
Podla definicie je teoria splnitelna prave vtedy, existuje ohodnotenie v ktorom su vsetky forumle teorie pravdive. Da sa nato nejako prist okrem logickym usudkom? Napr semnticky strom alebo nieco take?
ked si ustanovim = p(x,y) - x je rodis y v tom pripade by tato teoria mala byt splntelna avsak opak ma byt pravdou, ako na to prist teda?
Offline