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ý.