Tautológia a kontradikcia

Tautológia je zložený výrok, ktorý je pravdivý pri každom ohodnotení svojich častí — napríklad A ∨ A′. Kontradikcia je naopak vždy nepravdivá — napríklad A ∧ A′. Overiť sa to dá tabuľkou pravdivosti: v poslednom stĺpci sú samé jednotky, alebo samé nuly.

Čo tento generátor robí?

Ukáže zložený výrok a ty rozhodneš, či je tautológia, kontradikcia, alebo jeho pravdivosť závisí od hodnôt A, B, C. Na ťažkej úrovni sú medzi nimi známe logické zákony aj častý omyl v usudzovaní.

Ako ho používať

1) Urob si v duchu alebo na papieri tabuľku pravdivosti. 2) Ak sú v poslednom stĺpci samé jednotky, je to tautológia. 3) Ak samé nuly, je to kontradikcia. 4) Ak sú tam jednotky aj nuly, nie je ani jedným.