principle of explosion
theorem which states that any statement can be proven from a contradiction
| rdfs:label |
"principle of explosion"@en
|
|
skos:alt |
"EFQ"@en
|
| schema:description |
"theorem which states that any statement can be proven from a contradiction"@en
|
|
schema:date |
"2026-08-19T11:08:55+00:00"^^xsd:dateTime |
| schema:version | 2533162801 |
| wikibase:identifiers | 3 |
| wikibase:sitelinks | 15 |
| wikibase:statements | 17 |
| p:P1269 | wd:statement/Q60190-d8b94490-43ab-b4ff-ef46-b33875866a07 |
| p:P1813 | wd:statement/Q60190-c9480d7a-452d-99b5-8c2c-624a630f1e29 |
| p:P1889 | wd:statement/Q60190-5d9134d5-4536-7b09-0662-82afc6752533 |
| p:P2534 | wd:statement/Q60190-6a514a13-420e-6a94-da9a-f696853e3197 |
| p:P2579 | wd:statement/Q60190-3ac9fd30-42e3-d503-7b8d-85a3572b9966 |
| p:P2581 | wd:statement/Q60190-85366A30-16E8-419D-94C6-507D24EECF8B |
| p:P279 | wd:statement/Q60190-24bff975-44ef-f07d-2e70-09a036c588cc |
| p:P31 | wd:statement/Q60190-D7611D62-4AA7-4B4B-AB4F-CCEFA02A22FD |
| p:P6104 | wd:statement/Q60190-30209601-62D3-4D4D-A0A1-16457F04DEBB |
| p:P6366 | wd:statement/Q60190-243AE2A7-D976-4178-B3CB-F5086BF5E34B |
| p:P646 | wd:statement/Q60190-D74964E7-64BF-420A-906F-B84EC5A5B0A2 |
| p:P7235 | wd:statement/Q60190-349b579a-407a-d48e-9df4-b31238a86918 |
| wd:statement/Q60190-5b9518fc-40bd-b839-40eb-d28365268727 | |
| wd:statement/Q60190-5f602e39-4dc6-b1e2-c480-3a3c83b51bff | |
| wd:statement/Q60190-63c3fd70-4aa8-0d6f-196f-94f4db2ff332 | |
| wd:statement/Q60190-a13b46c9-4c23-629a-50b5-97c11f0ae942 | |
| wd:statement/Q60190-ef735654-4b3e-dda8-930e-3428720e4fc8 | |
|
p:direct- |
<http:/ |
|
p:direct- |
<https:/ |
| wdt:P1269 | proof by contradiction |
| wdt:P1813 | "EFQ"@la |
| wdt:P1889 | division by zero |
| 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><mi>P</mi><mi mathvariant="normal">∀</mi><mi>Q</mi><mo stretchy="false">:</mo><mo stretchy="false">(</mo><mi>P</mi><mo stretchy="false">∧</mo><mi mathvariant="normal">¬</mi><mi>P</mi><mo stretchy="false">)</mo><mo stretchy="false">⊢</mo><mi>Q</mi></mstyle></mrow></math>"^^http://www.w3.org/1998/Math/MathML |
| wdt:P2579 | propositional calculus |
| wdt:P2581 | "03415019n" |
| wdt:P279 | axiom |
| wdt:P31 | theorem |
| wdt:P6104 | WikiProject Mathematics |
| wdt:P6366 | "118406814" |
| wdt:P646 | "/m/02t54v" |
| 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 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 |
Download as: