LD-rezoluce je

korektní ne však úplná pro výrokový počet.

ne korektní, ale ú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:
98 97