Nechť P je formule v predikátové logice, která není kontradikcí ani tautologií. Potom

existuje právě jedna formule v prenexové konjunktní normální formě s ní neekvivalentní (až na pojmenování proměnných)

existuje buď alespoň jedna formule v prenexové konjunktní formě s ní ekvivalentní, nebo alespoň jedna formule v prenexové disjunktní normální formě s ní ekvivalentní, ale ne obě zároveň

existuje alespoň jedna formule v prenexové konjunktní normální formě s ní ekvivalentní

Predchádzajúca

Ďalšia

Vymazať štatistiky

Zle zodpovedané otázky: