Logique
Implication
Négation de l'implication
Négation d'une implication
D'après le sens même de l'implication on voit tout de suite que
La proposition
"
non
(
P
Q
)"
est équivalente à
"
P
et
(
non
Q
)"
Q)" est équivalente à "P et (non Q)"