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

má vždy konečně mnoho uzlů

obsahuje alespoň jednu nekonečnou větev

může obsahovat nekonečnou větev

Predchádzajúca

Ďalšia

Vymazať štatistiky

Zle zodpovedané otázky: