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