Accions

Recurs

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

De Wikisofia

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

és una fórmula universalment vàlida:

E1630-1.gif

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