Obecná rezoluce je pro predikátovou logiku

korektní a úplná

ne korektní, ale úplná

korektní, ale ne úplná

Predchádzajúca

Ďalšia

Vymazať štatistiky

Zle zodpovedané otázky: