Pro LI-rezoluci a rezoluční strom platí, že

právě odvozená klauzule musí být použita v některém z následujících rezolučních kroků, ne však nutně v bezprostředně následujícím.

právě odvozená klazule nemusí být použita v bezprostředné následujícím rezolučním kroku.

právě odvozená klazule musí být použita v bezprostředně následujícím rezolučním kroku.

Predchádzajúca

Ďalšia

Vymazať štatistiky

Zle zodpovedané otázky:
80