|
|
 |
 |
 |
|
|
|
|
|
P
(non P) ou Q
Q
L'implication "P Q" est donc aussi équivalente
à
(non (non Q)) ou (non P)
c'est-à-dire à
(non Q) (non
P)
| La proposition
"(non Q) (non P)" s'appelle la contraposée
de l'application "P Q" ; elle lui est équivalente. On a donc toujours "P Q" équivaut à "(non Q) (non P)". |
Q" n'a pas la même signification que
l'implication réciproque de "P Q" qui est "Q
P".
|
|
|
|
|
