conditionnelle

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