Relation entre deux formes propositionnelles P et Q, notée « P → Q » ou « si P alors Q », qui est fausse seulement si l’antécédent P est vrai et le conséquent Q est faux.
Synonyme de forme propositionnelle conditionnelle.
| P | Q | P → Q |
| V V F F |
V F V F |
V F V V |