https://bsccs.stoney-wiki.com/w/index.php?action=history&feed=atom&title=Double_negation 2026-05-04T20:07:48Z Revision history for this page on the wiki MediaWiki 1.39.6 https://bsccs.stoney-wiki.com/w/index.php?title=Double_negation&diff=39&oldid=prev 2025-10-20T13:30:50Z

<p>Created page with &quot;= 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 &#039;&#039;p&#039;&#039; is false, then &#039;&#039;p&#039;&#039; must be true. This allows simplification of expressions with two consecutive negations. == Example == * &quot;It is not true that it is not raining&quot; is equivalent to &quot;It is raining&quot;. * In Python: &lt;code&gt;not (not p)&lt;/code&gt; evaluates to the same as &lt;cod...&quot;</p> <p><b>New page</b></p><div>= Double negation =<br /> <br /> The law of double negation states that the negation of a negation returns the original proposition.<br /> <br /> == Statement ==<br /> * ¬(¬p) ≡ p<br /> <br /> == Explanation ==<br /> If it is not the case that &#039;&#039;p&#039;&#039; is false, then &#039;&#039;p&#039;&#039; must be true. <br /> This allows simplification of expressions with two consecutive negations.<br /> <br /> == Example ==<br /> * &quot;It is not true that it is not raining&quot; is equivalent to &quot;It is raining&quot;.<br /> * In Python: &lt;code&gt;not (not p)&lt;/code&gt; evaluates to the same as &lt;code&gt;p&lt;/code&gt;.<br /> <br /> == Truth Table ==<br /> {| class=&quot;wikitable&quot;<br /> ! p !! ¬p !! ¬(¬p)<br /> |-<br /> | T || F || T<br /> |-<br /> | F || T || F<br /> |}<br /> <br /> [[Category:Propositional logic (Aussagenlogik)]]<br /> [[Category: Diskrete Mathematik I (BZG1155pa) 25/26]]</div>

Bfh-sts