Logique mathématique

Négation

La négation (ou le contraire) d'une proposition \(P\) est la proposition non \(P\).

Elle est vraie si, et seulement si, \(P\) est fausse. Et réciproquement.

Négation de quelques propositions composées

Proposition Négation
Conjonction \(P\) et \(Q\) non \(P\) ou non \(Q\) Lois de Morgan
Disjonction \(P\) ou \(Q\) non \(P\) et non \(Q\)
Implication Si \(P\), alors \(Q\). \(P\) et non \(Q\)
Lionel Avon