Výroková logika - tautologie

Definice: Tautologie je výrok, který je pro libovolné ohodnocení svých výrokových proměnných vždy pravdivý.

Mějme výrok a \Rightarrow (b \Rightarrow a) a proveďme jeho ohodnocení. Získáme následující výsledek.

Narazili jsme na zajímavý výrok, z tabulky totiž vyplývá, že ať je ohodnocení jednoduchých výroků a, b jakékoli, výsledný výrok bude vždy pravdivý.

Aktuality

Písemná práce

Test třídy ___

Termín:

Téma:

 

Písemná práce

Test třídy ___

Termín:

Téma:

 

Písemná práce

Test třídy ___

Termín:

Téma:

 

Písemná práce

Test třídy ___

Termín:

Téma:

 

Písemná práce

Test třídy ___

Termín:

Téma: