Formule predikátové logiky (∀x(¬P(x)) ⇒ ∀yQ(y)) ⇒ ∀x(¬P(x)) je

kontradikce

splnitelná, ale není tautologie

tautologie

Predchádzajúca

Ďalšia

Vymazať štatistiky

Zle zodpovedané otázky:
107