The negation of a proposition

*P*, is the proposition noted as “¬*P*“, “*non P*” that is true when the proposition*P*is false and false when the proposition*P*is true.### Examples

- ¬(P ∧ Q) = ¬P ∨ ¬Q
- ¬(P ∨ Q) = ¬P ∧ ¬Q
- ¬(P → Q) = P ∧ ¬Q

The negation of a proposition *P*, is the proposition noted as “¬*P*“, “*non P*” that is true when the proposition *P* is false and false when the proposition *P* is true.

- ¬(P ∧ Q) = ¬P ∨ ¬Q
- ¬(P ∨ Q) = ¬P ∧ ¬Q
- ¬(P → Q) = P ∧ ¬Q