De Morgan's laws
pair of transformation rules that are both valid rules of inference
| rdfs:label |
"De Morgan's laws"@en
|
|
skos:alt |
"DeMorgan’s theorem"@en
|
| schema:description |
"pair of transformation rules that are both valid rules of inference"@en
|
|
schema:date |
"2026-09-12T19:11:15+00:00"^^xsd:dateTime |
| schema:version | 2544687109 |
| wikibase:identifiers | 14 |
| wikibase:sitelinks | 55 |
| wikibase:statements | 29 |
| p:P10376 | wd:statement/Q173300-3976afc0-4a21-f4ea-34c9-1d87546568ee |
| p:P10565 | wd:statement/Q173300-E5711953-491C-4C02-9049-979A4B6E5D60 |
| p:P12385 | wd:statement/Q173300-47fffbd3-1c21-4bcb-8456-d3495e434e92 |
| p:P1296 | wd:statement/Q173300-55D52A18-8489-4853-825A-0DB931120F13 |
| p:P138 | wd:statement/q173300-06D50379-7B0A-4C05-9B3C-4F23DE7BEA62 |
| p:P1417 | wd:statement/Q173300-41233E24-B44E-4921-A994-8961DEB03219 |
| p:P14541 | wd:statement/Q173300-7E6A8863-B4EE-42F2-AFED-21A50E8022CC |
| p:P18 | wd:statement/Q173300-f32625cf-4ec9-b53d-9fd9-bbd762130c2d |
| p:P2534 | wd:statement/Q173300-05be0eff-44a2-640a-562f-a621b1e6c30d |
| wd:statement/Q173300-43eaa113-464d-2512-cf3d-a4e878f942c4 | |
| p:P2577 | wd:statement/Q173300-3a51b507-46be-d3c0-c00f-1c9599ff81b8 |
| p:P2579 | wd:statement/Q173300-C361A2DF-9A90-4F8B-BE6D-0470FB7888DE |
| p:P2812 | wd:statement/Q173300-723B56A7-7FA0-404A-BD5E-E39F6CBF4B78 |
| p:P31 | wd:statement/Q173300-E9ECD209-34B3-40C3-B016-7E73F011D14C |
| wd:statement/Q173300-F6D4FE81-CD27-4573-B42A-C76593801548 | |
| p:P6104 | wd:statement/Q173300-7AA7FA2F-701C-4F97-9A32-871815C854F3 |
| p:P6366 | wd:statement/Q173300-89E0C7CE-0F67-4A63-AA7B-3054BB387282 |
| p:P646 | wd:statement/Q173300-01824F72-F132-4FE9-89F8-AD5577E2B858 |
| p:P6564 | wd:statement/Q173300-274643e8-4701-5fc0-6037-c50919c84350 |
| p:P7235 | wd:statement/Q173300-16325dee-4bb5-ba96-34a2-6df70ab37c0d |
| wd:statement/Q173300-17114449-4704-d38b-f959-6d03db886184 | |
| wd:statement/Q173300-311df8c2-4d10-7b17-b5a9-963f1f8d633c | |
| wd:statement/Q173300-82d5de75-4f8f-d39a-13e5-27dd151fc43d | |
| wd:statement/Q173300-8551d6f0-4d70-3baa-e956-66984f5f8127 | |
| wd:statement/Q173300-c24d5843-47ec-6552-01a5-e63e1f61a4eb | |
| p:P7276 | wd:statement/Q173300-9CA83CD9-873A-4F67-B45A-AB79FB9AF49F |
| p:P7554 | wd:statement/Q173300-cf60f6de-471a-e922-a2d9-add2037af79e |
| p:P8313 | wd:statement/Q173300-C879C217-C261-4A16-83F0-D4A8486C981B |
| p:P9621 | wd:statement/Q173300-ed9a49c6-4eb4-489d-c3c0-16a15f04bd02 |
|
p:direct- |
<https:/ |
| wdt:P10376 | "computer-science/de-morgans-theorem" |
| wdt:P10565 | "214870" |
| wdt:P12385 | "lleis-de-de-morgan" |
| wdt:P1296 | "0021979" |
| wdt:P138 | Augustus De Morgan |
| wdt:P1417 | "topic/De-Morgan-laws" |
| wdt:P14541 | "3nrgmr" |
| wdt:P18 |
<http:/ |
| wdt:P2534 | "<math class="mwe-math-element mwe-math-element-inline" xmlns="http://www.w3.org/1998/Math/MathML"><mrow data-mjx-texclass="ORD"><mstyle displaystyle="true" scriptlevel="0"><mi mathvariant="normal">¬</mi><mo stretchy="false">(</mo><mi>P</mi><mo stretchy="false">∧</mo><mi>Q</mi><mo stretchy="false">)</mo><mo stretchy="false">⊢</mo><mo stretchy="false">(</mo><mi mathvariant="normal">¬</mi><mi>P</mi><mo stretchy="false">∨</mo><mi mathvariant="normal">¬</mi><mi>Q</mi><mo stretchy="false">)</mo><mo stretchy="false">.</mo></mstyle></mrow></math>"^^http://www.w3.org/1998/Math/MathML |
| "<math class="mwe-math-element mwe-math-element-inline" xmlns="http://www.w3.org/1998/Math/MathML"><mrow data-mjx-texclass="ORD"><mstyle displaystyle="true" scriptlevel="0"><mi mathvariant="normal">¬</mi><mo stretchy="false">(</mo><mi>P</mi><mo stretchy="false">∨</mo><mi>Q</mi><mo stretchy="false">)</mo><mo stretchy="false">⊢</mo><mo stretchy="false">(</mo><mi mathvariant="normal">¬</mi><mi>P</mi><mo stretchy="false">∧</mo><mi mathvariant="normal">¬</mi><mi>Q</mi><mo stretchy="false">)</mo><mo stretchy="false">.</mo></mstyle></mrow></math>"^^http://www.w3.org/1998/Math/MathML | |
| wdt:P2577 | classical logic |
| wdt:P2579 | logic |
| wdt:P2812 | "deMorgansLaws" |
| wdt:P31 | rule of inference |
| theorem | |
| wdt:P6104 | WikiProject Mathematics |
| wdt:P6366 | "160443082" |
| wdt:P646 | "/m/0h7nn" |
| wdt:P6564 | "de-morgans-laws" |
| wdt:P7235 | "<math class="mwe-math-element mwe-math-element-inline" xmlns="http://www.w3.org/1998/Math/MathML"><mrow data-mjx-texclass="ORD"><mstyle displaystyle="true" scriptlevel="0"><mi mathvariant="normal">¬</mi></mstyle></mrow></math>"^^http://www.w3.org/1998/Math/MathML |
| "<math class="mwe-math-element mwe-math-element-inline" xmlns="http://www.w3.org/1998/Math/MathML"><mrow data-mjx-texclass="ORD"><mstyle displaystyle="true" scriptlevel="0"><mi>P</mi></mstyle></mrow></math>"^^http://www.w3.org/1998/Math/MathML | |
| "<math class="mwe-math-element mwe-math-element-inline" xmlns="http://www.w3.org/1998/Math/MathML"><mrow data-mjx-texclass="ORD"><mstyle displaystyle="true" scriptlevel="0"><mi>Q</mi></mstyle></mrow></math>"^^http://www.w3.org/1998/Math/MathML | |
| "<math class="mwe-math-element mwe-math-element-inline" xmlns="http://www.w3.org/1998/Math/MathML"><mrow data-mjx-texclass="ORD"><mstyle displaystyle="true" scriptlevel="0"><mo stretchy="false">∧</mo></mstyle></mrow></math>"^^http://www.w3.org/1998/Math/MathML | |
| "<math class="mwe-math-element mwe-math-element-inline" xmlns="http://www.w3.org/1998/Math/MathML"><mrow data-mjx-texclass="ORD"><mstyle displaystyle="true" scriptlevel="0"><mo stretchy="false">∨</mo></mstyle></mrow></math>"^^http://www.w3.org/1998/Math/MathML | |
| "<math class="mwe-math-element mwe-math-element-inline" xmlns="http://www.w3.org/1998/Math/MathML"><mrow data-mjx-texclass="ORD"><mstyle displaystyle="true" scriptlevel="0"><mo stretchy="false">⊢</mo></mstyle></mrow></math>"^^http://www.w3.org/1998/Math/MathML | |
| wdt:P7276 | "DE%20MORGANOVY%20Z%C3%81KONY" |
| wdt:P7554 | "De_Morgan_laws" |
| wdt:P8313 | "De_Morgans_love" |
| wdt:P9621 | "de-morgan-leggi-di" |
Download as: