proof by contradiction en · NOUN
Meanings
- (countable, uncountable) The proof of a statement adduced by deriving a contradiction from the statement's negation.
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| proofs by contradiction | Number=Plur | lexicographic |
Synonyms
reductio ad absurdum · apagoge
Translations (17)
pl dowód nie wprost (proof of a statement adduced by deriving a contradiction from the statement's negation) · ro reducere la absurd (proof of a statement adduced by deriving a contradiction from the statement's negation) · cmn 反證法 /反证法 (proof of a statement adduced by deriving a contradiction from the statement's negation) · nl bewijs uit het ongerijmde (proof of a statement adduced by deriving a contradiction from the statement's negation) · sv motsägelsebevis (proof of a statement adduced by deriving a contradiction from the statement's negation) · la reductiō ad absurdum (proof of a statement adduced by deriving a contradiction from the statement's negation) · de Widerspruchsbeweis (proof of a statement adduced by deriving a contradiction from the statement's negation) · ru доказа́тельство от проти́вного (proof of a statement adduced by deriving a contradiction from the statement's negation) · pl sprowadzenie do absurdu (proof of a statement adduced by deriving a contradiction from the statement's negation) · fi ristiriitatodistus (proof of a statement adduced by deriving a contradiction from the statement's negation) · de Beweis durch Widerspruch (proof of a statement adduced by deriving a contradiction from the statement's negation) · cs důkaz sporem (proof of a statement adduced by deriving a contradiction from the statement's negation) · fr raisonnement par l'absurde (proof of a statement adduced by deriving a contradiction from the statement's negation) · cmn 背理法 (proof of a statement adduced by deriving a contradiction from the statement's negation) · el εις άτοπον απαγωγή (proof of a statement adduced by deriving a contradiction from the statement's negation) · is óbein sönnun (proof of a statement adduced by deriving a contradiction from the statement's negation) · fr preuve par l'absurde (proof of a statement adduced by deriving a contradiction from the statement's negation)