帰謬法

デジタル大辞泉

きびゅう‐ほう〔キビウハフ〕【帰^×謬法】

読み方：きびゅうほう

⇒背理法(はいりほう)

ウィキペディア

背理法

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/12/14 07:43 UTC 版)

「帰謬法」はこの項目へ転送されています。修辞学における帰謬法については「帰謬法 (修辞学)」をご覧ください。

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "背理法" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2016年4月）

背理法（はいりほう、英: proof by contradiction, reduction to the absurd, indirect proof, apagogical argument など、羅: reductio ad absurdum, RAA）とは、ある命題 P を証明したいときに、P が偽であることを仮定して、そこから矛盾を導くことによって、P が偽であるという仮定が誤り、つまり P は真であると結論付けることである^[1]。帰謬法（きびゅうほう）とも言う。

P を仮定すると、矛盾 ⊥ が導けることにより、P の否定 ¬P を結論付けることは否定の導入などと呼ばれる^[2]。

${\displaystyle {\cfrac {\displaystyle {[P] \atop \bot }}{\neg P}}}$

この項目は、数理論理学に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています。

• 表示
• 編集