Tautologický důsledek

Tento webMathematica applet slouží k vyšetřování vlastností formulí výrokového počtu bez kvantifikátorů.

Zadej množinu prvotních formulí P:

Zadej množinu předpokladů (premis) T (negace !, Not[.]; disjunkce \|\|, Or[.,.]; konjunkce &&, And[.,.]; implikace Imp[.,.]; ekvivalence Ekv[.,.]; xor Xor[.,.], nand Na[.,.]; nor Nr[.,.]):

Zadej zkoumanou formuli F výrokového počtu bez kvantifikátorů:

Byla zadáno:

F =
T =

Pravdivostní tabulka:

Je zadaná množina premis T splnitelná?
Je zadaná formule F tautologie?
Je zadaná formule F kontradikce?
Je formule F tautologickým důsledkem premis T?