See proof by contradiction in All languages combined, or Wiktionary
Download JSON data for proof by contradiction meaning in English (4.6kB)
{
"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": "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": [
"Proof of a statement adduced by deriving a contradiction from the statement's negation."
],
"id": "en-proof_by_contradiction-en-noun-SpB2PiSr",
"links": [
[
"mathematics",
"mathematics"
],
[
"logic",
"logic"
],
[
"deriving",
"derive"
],
[
"contradiction",
"contradiction"
],
[
"negation",
"negation"
]
],
"raw_glosses": [
"(mathematics, logic) 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",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"word": "反證法"
},
{
"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": "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",
"word": "reductio 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",
"en:Logic",
"en:Mathematics"
],
"glosses": [
"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) 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",
"sense": "proof of a statement adduced by deriving a contradiction from the statement's negation",
"word": "反證法"
},
{
"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": "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",
"word": "reductio 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"
}
This page is a part of the kaikki.org machine-readable English dictionary. This dictionary is based on structured data extracted on 2024-05-03 from the enwiktionary dump dated 2024-05-02 using wiktextract (f4fd8c9 and c9440ce). 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.