Formule predikátové logiky ∃x(¬P(x) ⋀ ¬Q(x)) ⋁ (∀xP(x) ⋁ ∀xQ(x)) je

splnitelná, ale není tautologie

tautologie

kontradikce

Predchádzajúca

Ďalšia

Vymazať štatistiky

Zle zodpovedané otázky: