On dit que P implique Q lorsque l’un des trois cas suivants est réalisé :1. P vrai et Q vrai2. P faux et Q vrai3. P faux et Q faux
On dit que P et Q sont ´équivalents si les implications (P ⇒ Q)et (Q ⇒ P) sont toutes les deux vraies.
