SLD-rezoluce je

ne korektní, ale úplná pro výrokový počet

korektni ne však úplná pro výrokový počet

korektní a úplná pro výrokový počet

Predchádzajúca

Ďalšia

Vymazať štatistiky

Zle zodpovedané otázky:
93