proof by contradiction

form of proof
rdfs:label
"proof by contradiction"@en
skos:altLabel
"apagogical argument"@en
"proof by assuming the opposite"@en
"reductio ad impossibilem"@en
schema:description
"form of proof"@en
schema:dateModified "2026-09-17T10:28:57+00:00"^^xsd:dateTime
schema:version 2546984053
wikibase:identifiers 15
wikibase:sitelinks 33
wikibase:statements 20
p:P11408 wd:statement/Q184899-1cf0dfb2-46be-3746-e3dd-bc278c446699
p:P1343 wd:statement/Q184899-6af38e7d-48a3-882e-3368-a07c1225bb90
p:P2671 wd:statement/Q184899-453FD4D0-9DEA-491B-B795-EC419E3A3A50
p:P279 wd:statement/Q184899-8b297d9a-4948-ff2d-9d87-c26fa34e6b91
wd:statement/Q184899-bab07f6e-4f56-073c-dd08-6ef9e5ec056f
p:P2812 wd:statement/Q184899-5734136A-DAF0-462F-9433-60C6842AFC74
p:P3222 wd:statement/Q184899-09AD1F8D-C5F6-4AC0-896D-89263B660AC9
p:P3417 wd:statement/Q184899-D93FF954-29C9-4ACA-8850-8DB2466703D4
p:P3827 wd:statement/Q184899-728A30B7-7BEC-4638-8A89-5870931D9FCA
p:P4215 wd:statement/Q184899-0CCEE6CE-FF0A-41BE-BEF0-32F62F0A57F1
p:P460 wd:statement/Q184899-3797d77a-4b8e-3724-b0f8-f98310e09a3d
p:P5088 wd:statement/Q184899-9FC1C7DE-74FE-46B7-BD04-3029AC302AC1
p:P6104 wd:statement/Q184899-DB5ACD65-9E4D-4C52-A895-3D35B7DB231B
p:P6366 wd:statement/Q184899-275535A5-93CA-4FF4-A765-0A65E256CA55
p:P646 wd:statement/Q184899-C8D1B6C8-1CF9-4D97-9B86-3C24FF777884
p:P6564 wd:statement/Q184899-52cc594a-48c4-914e-4e4b-df64705e9e85
p:P6781 wd:statement/Q184899-4a254645-488d-20a0-b8ca-ad370025ba9d
p:P7033 wd:statement/Q184899-AF72C776-EB95-4062-9684-C4A5D4FB4C64
p:P7993 wd:statement/Q184899-CDBCBD72-6316-4F1C-8E9F-FC9DF09F57D6
p:P9286 wd:statement/Q184899-98FEB360-41A9-4491-9B7B-748C9AAD0409
p:direct-normalized/P2671 <http://g.co/kg/g/121b6yy4>
p:direct-normalized/P6366 <https://makg.org/entity/185120651>
p:direct-normalized/P7033 <http://vocabulary.curriculum.edu.au/scot/13531>
wdt:P11408 "背理法"
wdt:P1343 Mathwords
wdt:P2671 "/g/121b6yy4"
wdt:P279 mathematical proof
theorem
wdt:P2812 "ProofbyContradiction"
wdt:P3222 "reductio-ad-absurdum"
wdt:P3417 "Reductio-ad-Absurdum-1"
wdt:P3827 "proof-by-contradiction"
wdt:P4215 "proof by contradiction"
wdt:P460 reductio ad absurdum
wdt:P5088 "reductio"
wdt:P6104 WikiProject Mathematics
wdt:P6366 "185120651"
wdt:P646 "/m/06bwk"
wdt:P6564 "contradiction"
wdt:P6781 "Proof_by_Contradiction"
wdt:P7033 "scot/13531"
wdt:P7993 "ab-absurdo"
wdt:P9286 "Reducción_al_absurdo"
Download as:
TurtleJSON-LDRDF/XML
data from SPARQL profile: Wikidata