Negation
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
Search by Topic