Přidáme-li k formuli {{p, ¬p}} klauzule {p} a {¬p}. bude takto vytvořená formule

kontradiktorická

splnitelná

tautologií

Predchádzajúca

Ďalšia

Vymazať štatistiky

Zle zodpovedané otázky: