Négation d'une implication

Comment écrire la négation[1] d'une proposition \("P\Rightarrow Q"\) ?

D'après le sens même de l'implication[2] on voit tout de suite que

La proposition \("non~ (P\Rightarrow Q)"\) est équivalente à \("P ~et~ (non~ Q)"\)