Tautologie a kontradikce

Tautologie je složený výrok, který je pravdivý při každém ohodnocení svých částí — například A ∨ A′. Kontradikce je naopak vždy nepravdivá — například A ∧ A′. Ověřit se to dá tabulkou pravdivostních hodnot: v posledním sloupci jsou samé jedničky, nebo samé nuly.

Co tento generátor dělá?

Ukáže složený výrok a ty rozhodneš, zda je tautologie, kontradikce, nebo jeho pravdivost závisí na hodnotách A, B, C. Na těžké úrovni jsou mezi nimi známé logické zákony i častý omyl v usuzování.

Jak ho používat

1) Udělej si v duchu nebo na papíře tabulku pravdivostních hodnot. 2) Jsou-li v posledním sloupci samé jedničky, je to tautologie. 3) Jsou-li tam samé nuly, je to kontradikce. 4) Jsou-li tam jedničky i nuly, není ani jedním.