Tautologie
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 |