帰き謬びゅう法ほう

noun

reductio ad absurdum; proof by contradiction

Technical term in logic and mathematics. Cross-referenced with 背理法, which is a more common Japanese term for the same concept.

See also: 背理法

• 帰き謬びゅう法ほうは、ある命めい題だいの否ひ定ていを仮か定ていして矛む盾じゅんを導みちびくことで、元もとの命めい題だいを証しょう明めいする方ほう法ほうです。

  Reductio ad absurdum is a method of proving a proposition by assuming its negation and deriving a contradiction.