Proposition logique composée toujours vraie, quelles que soient les valeurs de vérité de ses composantes.
Synonyme de proposition toujours vraie.
Exemple
La proposition composée P → (Q → P) est une tautologie.
Voici sa table de vérité :
| P | Q | Q → P | P → (Q → P) |
| V V F F |
V F V F |
V V F V |
V V V V |