See proof by contradiction in All languages combined, or Wiktionary
{
"forms": [
{
"form": "proofs by contradiction",
"tags": [
"plural"
]
}
],
"head_templates": [
{
"args": {
"1": "~",
"2": "proofs by contradiction"
},
"expansion": "proof by contradiction (countable and uncountable, plural proofs by contradiction)",
"name": "en-noun"
}
],
"lang": "English",
"lang_code": "en",
"pos": "noun",
"senses": [
{
"categories": [
{
"kind": "other",
"name": "English entries with incorrect language header",
"parents": [
"Entries with incorrect language header",
"Entry maintenance"
],
"source": "w"
},
{
"kind": "other",
"name": "Entries with translation boxes",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Pages with 1 entry",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Pages with entries",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Czech translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Dutch translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Finnish translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with French translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with German translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Greek translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Icelandic translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Latin translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Mandarin translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Polish translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Romanian translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Russian translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Swedish translations",
"parents": [],
"source": "w"
},
{
"kind": "topical",
"langcode": "en",
"name": "Logic",
"orig": "en:Logic",
"parents": [
"Formal sciences",
"Philosophy",
"Sciences",
"All topics",
"Fundamental"
],
"source": "w"
},
{
"kind": "topical",
"langcode": "en",
"name": "Mathematics",
"orig": "en:Mathematics",
"parents": [
"Formal sciences",
"Sciences",
"All topics",
"Fundamental"
],
"source": "w"
}
],
"glosses": [
"The proof of a statement adduced by deriving a contradiction from the statement's negation."
],
"id": "en-proof_by_contradiction-en-noun-sTgk7k2i",
"links": [
[
"mathematics",
"mathematics"
],
[
"logic",
"logic"
],
[
"deriving",
"derive"
],
[
"contradiction",
"contradiction"
],
[
"negation",
"negation"
]
],
"raw_glosses": [
"(mathematics, logic) The proof of a statement adduced by deriving a contradiction from the statement's negation."
],
"synonyms": [
{
"word": "apagoge"
},
{
"word": "reductio ad absurdum"
}
],
"tags": [
"countable",
"uncountable"
],
"topics": [
"human-sciences",
"logic",
"mathematics",
"philosophy",
"sciences"
],
"translations": [
{
"code": "cmn",
"lang": "Chinese Mandarin",
"roman": "fǎnzhèngfǎ",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"word": "反證法 /反证法"
},
{
"code": "cmn",
"lang": "Chinese Mandarin",
"roman": "bèilǐfǎ",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"word": "背理法"
},
{
"code": "cs",
"lang": "Czech",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"tags": [
"masculine"
],
"word": "důkaz sporem"
},
{
"code": "nl",
"lang": "Dutch",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"tags": [
"neuter"
],
"word": "bewijs uit het ongerijmde"
},
{
"code": "fi",
"lang": "Finnish",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"word": "ristiriitatodistus"
},
{
"code": "fr",
"lang": "French",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"tags": [
"feminine"
],
"word": "preuve par l’absurde"
},
{
"code": "fr",
"lang": "French",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"tags": [
"masculine"
],
"word": "raisonnement par l’absurde"
},
{
"code": "de",
"lang": "German",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"tags": [
"masculine"
],
"word": "Widerspruchsbeweis"
},
{
"code": "de",
"lang": "German",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"tags": [
"masculine"
],
"word": "Beweis durch Widerspruch"
},
{
"code": "el",
"lang": "Greek",
"roman": "eis átopon apagogí",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"tags": [
"feminine"
],
"word": "εις άτοπον απαγωγή"
},
{
"code": "is",
"lang": "Icelandic",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"tags": [
"feminine"
],
"word": "óbein sönnun"
},
{
"code": "la",
"lang": "Latin",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"tags": [
"feminine"
],
"word": "reductiō ad absurdum"
},
{
"code": "pl",
"lang": "Polish",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"tags": [
"masculine"
],
"word": "dowód nie wprost"
},
{
"code": "pl",
"lang": "Polish",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"word": "sprowadzenie do absurdu"
},
{
"code": "ro",
"lang": "Romanian",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"tags": [
"feminine"
],
"word": "reducere la absurd"
},
{
"code": "ru",
"lang": "Russian",
"roman": "dokazátelʹstvo ot protívnovo",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"tags": [
"neuter"
],
"word": "доказа́тельство от проти́вного"
},
{
"code": "sv",
"lang": "Swedish",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"tags": [
"neuter"
],
"word": "motsägelsebevis"
}
]
}
],
"word": "proof by contradiction"
}
{
"forms": [
{
"form": "proofs by contradiction",
"tags": [
"plural"
]
}
],
"head_templates": [
{
"args": {
"1": "~",
"2": "proofs by contradiction"
},
"expansion": "proof by contradiction (countable and uncountable, plural proofs by contradiction)",
"name": "en-noun"
}
],
"lang": "English",
"lang_code": "en",
"pos": "noun",
"senses": [
{
"categories": [
"English countable nouns",
"English entries with incorrect language header",
"English lemmas",
"English multiword terms",
"English nouns",
"English uncountable nouns",
"Entries with translation boxes",
"Pages with 1 entry",
"Pages with entries",
"Terms with Czech translations",
"Terms with Dutch translations",
"Terms with Finnish translations",
"Terms with French translations",
"Terms with German translations",
"Terms with Greek translations",
"Terms with Icelandic translations",
"Terms with Latin translations",
"Terms with Mandarin translations",
"Terms with Polish translations",
"Terms with Romanian translations",
"Terms with Russian translations",
"Terms with Swedish translations",
"en:Logic",
"en:Mathematics"
],
"glosses": [
"The proof of a statement adduced by deriving a contradiction from the statement's negation."
],
"links": [
[
"mathematics",
"mathematics"
],
[
"logic",
"logic"
],
[
"deriving",
"derive"
],
[
"contradiction",
"contradiction"
],
[
"negation",
"negation"
]
],
"raw_glosses": [
"(mathematics, logic) The proof of a statement adduced by deriving a contradiction from the statement's negation."
],
"tags": [
"countable",
"uncountable"
],
"topics": [
"human-sciences",
"logic",
"mathematics",
"philosophy",
"sciences"
]
}
],
"synonyms": [
{
"word": "apagoge"
},
{
"word": "reductio ad absurdum"
}
],
"translations": [
{
"code": "cmn",
"lang": "Chinese Mandarin",
"roman": "fǎnzhèngfǎ",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"word": "反證法 /反证法"
},
{
"code": "cmn",
"lang": "Chinese Mandarin",
"roman": "bèilǐfǎ",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"word": "背理法"
},
{
"code": "cs",
"lang": "Czech",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"tags": [
"masculine"
],
"word": "důkaz sporem"
},
{
"code": "nl",
"lang": "Dutch",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"tags": [
"neuter"
],
"word": "bewijs uit het ongerijmde"
},
{
"code": "fi",
"lang": "Finnish",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"word": "ristiriitatodistus"
},
{
"code": "fr",
"lang": "French",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"tags": [
"feminine"
],
"word": "preuve par l’absurde"
},
{
"code": "fr",
"lang": "French",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"tags": [
"masculine"
],
"word": "raisonnement par l’absurde"
},
{
"code": "de",
"lang": "German",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"tags": [
"masculine"
],
"word": "Widerspruchsbeweis"
},
{
"code": "de",
"lang": "German",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"tags": [
"masculine"
],
"word": "Beweis durch Widerspruch"
},
{
"code": "el",
"lang": "Greek",
"roman": "eis átopon apagogí",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"tags": [
"feminine"
],
"word": "εις άτοπον απαγωγή"
},
{
"code": "is",
"lang": "Icelandic",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"tags": [
"feminine"
],
"word": "óbein sönnun"
},
{
"code": "la",
"lang": "Latin",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"tags": [
"feminine"
],
"word": "reductiō ad absurdum"
},
{
"code": "pl",
"lang": "Polish",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"tags": [
"masculine"
],
"word": "dowód nie wprost"
},
{
"code": "pl",
"lang": "Polish",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"word": "sprowadzenie do absurdu"
},
{
"code": "ro",
"lang": "Romanian",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"tags": [
"feminine"
],
"word": "reducere la absurd"
},
{
"code": "ru",
"lang": "Russian",
"roman": "dokazátelʹstvo ot protívnovo",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"tags": [
"neuter"
],
"word": "доказа́тельство от проти́вного"
},
{
"code": "sv",
"lang": "Swedish",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"tags": [
"neuter"
],
"word": "motsägelsebevis"
}
],
"word": "proof by contradiction"
}
Download raw JSONL data for proof by contradiction meaning in English (4.9kB)
This page is a part of the kaikki.org machine-readable English dictionary. This dictionary is based on structured data extracted on 2025-01-08 from the enwiktionary dump dated 2025-01-01 using wiktextract (9a96ef4 and 4ed51a5). The data shown on this site has been post-processed and various details (e.g., extra categories) removed, some information disambiguated, and additional data merged from other sources. See the raw data download page for the unprocessed wiktextract data.
If you use this data in academic research, please cite Tatu Ylonen: Wiktextract: Wiktionary as Machine-Readable Structured Data, Proceedings of the 13th Conference on Language Resources and Evaluation (LREC), pp. 1317-1325, Marseille, 20-25 June 2022. Linking to the relevant page(s) under https://kaikki.org would also be greatly appreciated.