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)"\)
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)"\)