Subject | Russian | English |
law | доказанность от противного | proof from the contrary |
progr. | доказательство методом "от противного" | proof by contradiction (ssn) |
gen. | доказательство от противного | apagogic proof (ArishkaYa) |
Makarov. | доказательство от противного | negative demonstration |
Makarov. | доказательство от противного | r.a.a. proof |
tech. | доказательство от противного | indirect proof |
media. | доказательство «от противного» | backward chaining |
math. | доказательство от противного | proof by contradiction |
logic | доказательство от противного | reductio ad absurdam (Alex_Odeychuk) |
phys. | доказательство от противного | reductio ad absurdum |
logic | доказательство от противного | apagogical argument ('More) |
logic | доказательство от противного | reductio ad impossibile ('More) |
logic | доказательство от противного | reduction to absurdity (Alex_Odeychuk) |
law | доказательство от противного | proof from the contrary |
law | доказательство от противного | negative proof |
math. | доказательство от противного | by reductio ad absurdum proof |
math. | доказательство от противного | proof by reduction to absurdity |
math. | доказательство от противного | proof by contradiction (In logic, proof by contradiction is a form of proof that establishes the truth or validity of a proposition by showing that the proposition's being false would imply a contradiction. Proof by contradiction is also known as indirect proof, apagogical argument, reductio ad impossibile. wikipedia.org) |
el. | доказательство от противного | proof by contradiction |
Gruzovik | доказательство от противного | the rule of contraries |
law | доказывание от противного | proof from the contrary |
law | доказывать от противного | prove from the contrary |
tech. | доказывать теорему способом от противного | prove a theorem by contradiction |
math. | допуская от противного, что | if |
math. | допуская от противного, что | we assume that |
math. | допуская от противного, что | if, on the contrary, we assume that |
math. | допуская от противного, что | to the contrary |
gen. | допуская от противного, что | if, to the contrary, we assume that |
math., lat. | заключение от противного | conclusio ad absurdum (доказательство) |
math., lat. | от противного | ex contrario (доказательство) |
math. | от противного | by contradiction (proof by contradiction – доказательство от противного) |
relig. | от противного | a contrario (Latin for "on the contrary") |
math., lat. | от противного | ex adverso (доказательство) |
math. | от противного | by contradiction (доказательство: To prove something by contradiction, we assume that what we want to prove is not true, and then show that the consequences of this are not possible. That is, the consequences contradict either what we have just assumed, or something we already know to be true (or, indeed, both) – we call this a contradiction. maths.org) |
math. | предположим от противного, что | suppose, by contradiction, that |
avia., med. | системное проектирование методом "от противного" | back-to-front system design |
gen. | толковать от противного | interpret by contraries |
busin. | эксперт, действующий от имени противной стороны | surveyor acting on behalf of adversary |
Makarov. | эта мысль мне противна, меня тошнит от этой мысли | the idea nauseates me |