Recurs:Exemple de fórmula universalment vàlida per a tota assignació

[math]\displaystyle{ [(p \rightarrow{q})\wedge p]\rightarrow{q} }[/math]

és una fórmula universalment vàlida:

mentre que «ser o no ser» és un enunciat tautològic, o una tautologia.