 |
| |||
| the rule of contraries | |||
| apagogic proof (ArishkaYa) | |||
| indirect proof | |||
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); proof by reduction to absurdity; by reductio ad absurdum proof; proof by contradiction | |||
| negative proof; proof from the contrary | |||
| reductio ad absurdum | |||
| proof by contradiction | |||
| reductio ad absurdam (Alex_Odeychuk); reduction to absurdity (Alex_Odeychuk); reductio ad impossibile ('More); apagogical argument ('More) | |||
| negative demonstration; r.a.a. proof | |||
| |||
| backward chaining | |||
| 俄语 词库 | |||
| |||
| один из видов косвенного доказательства. Большой Энциклопедический словарь | |||
| доказательство от противного: 1 短语, 1 学科 |
| 编程 | 1 |