Lineární rezoluce je pro predikátovou logiku

korektní a úplná

korektní, ale ne úplná

ne korektní, ale úplná

Predchádzajúca

Ďalšia

Vymazať štatistiky

Zle zodpovedané otázky:
53