Double negation: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

20 October 2025

  • curprev 14:3014:30, 20 October 2025Bfh-sts talk contribs 689 bytes +689 Created page with "= Double negation = The law of double negation states that the negation of a negation returns the original proposition. == Statement == * ¬(¬p) ≡ p == Explanation == If it is not the case that ''p'' is false, then ''p'' must be true. This allows simplification of expressions with two consecutive negations. == Example == * "It is not true that it is not raining" is equivalent to "It is raining". * In Python: <code>not (not p)</code> evaluates to the same as <cod..."