|
|
 |
 |
 |
|
|
|
|
|
À toute proposition "P 
Q",
on peut associer une proposition qu'on appelle sa contraposée.
Ces deux propositions sont vraies en même temps.
(non P)"
est la contraposée de "P Q".
"P Q"
est la contraposée de "(non Q) (non P)".
