Reductio ad absurdum

Japanese: 帰謬法 - きびゅうほう（英語表記）reductio ad absurdum

Also called proof by contradiction or indirect proof, this is a method of proof that shows that when proving a proposition A, negating A together with a group of already accepted propositions B ₁ B ₂ … B _n will inevitably result in a contradiction (hence the name reductio ad impossibile). Strictly speaking, this method of proof will not work if even one of the accepted propositions is false, so they must have been thoroughly verified beforehand.

Source: Encyclopaedia Britannica Concise Encyclopedia About Encyclopaedia Britannica Concise Encyclopedia Information

Japanese:

背理法，間接証明 indirect proofともいい，命題Aを証明するにあたり，すでに受容された命題群 B₁B₂ … B_n とともにAの否定を論じると必ずや矛盾に陥ること (このため reductio ad impossibileともいう) を示す証明法。厳密にいうと，受容された命題群のうち1つでも偽であればこの証明法は成立しないから，それらはあらかじめ十分に確かめられたものでなければならない。

出典　ブリタニカ国際大百科事典小項目事典ブリタニカ国際大百科事典小項目事典について　情報

<<: Reductive reasoning -

>>: Skylark - Skylark