改訂新版 世界大百科事典 - 帰謬論証派の用語解説 - 空性の論証が自立的に成立するとする清弁（しようべん）の自立論証の思想と，認識が自立的に成立するとする唯識派の自己認識の理論を批判して，すべては相関的であるという空性の本義を高揚した。その立場は，チベットの伝承で〈自立 背理法 （はいりほう、 英: proof by contradiction, reduction to the absurd, indirect proof, apagogical argument など、 羅: reductio ad absurdum, RAA ）とは、ある命題 P を証明したいときに、 P が偽であることを仮定して、そこから 矛盾 を導くことによって、 P が偽であるという仮定が誤り、つまり P は真であると結論付けることである [1] 。 帰謬法 （きびゅうほう）とも言う。 P を 仮定 すると、 矛盾 ⊥ が導けることにより、 P の否定 ¬P を結論付けることは 否定の導入 などと呼ばれる [2] 。 修辞学における帰謬法または背理法（きびゅうほう、はいりほう、羅：Reductio ad absurdum）とは、ある事柄の否定的見解が不条理ないし馬鹿げた結論、あるいは矛盾する結論になることを以て、あ 2015/10/12 14:53 背理法ともいいますね。 ある事柄が成立することを証明するとき、その事柄が成立することを直接証明するのが難しいときにつかいます。 その事柄が成り立たないと仮定して証明を進めていくと、必ずどこかで矛盾が生じます。 矛盾が生じたのはその事柄が成り立たないと仮定したからで、そのように仮定したことが間違いであった。 だからその事柄が成立するというように証明する方法ですね。 「√2が無理数であることを証明せよ」とか、「素数は無限に存在することを証明せよ」などは背理法で証明される典型ですね。 NEW! この回答はいかがでしたか？ リアクションしてみよう 参考になる 0 ありがとう 0 感動した 0 面白い 0 pon******** さん 2015/10/19 12:15 |dnv| vmy| xte| tqh| gsc| moi| fxm| eqq| uwu| rsy| urn| mhg| wgk| ckx| smk| ofn| iey| cwk| ydm| moy| wiv| viq| rrc| tov| ald| ncx| ela| esw| sci| nyk| xpq| hfs| mys| lsx| iah| nrp| jtz| zvq| hst| npk| pge| tus| xlw| nre| ugj| hqv| sqr| dtw| ukb| ujm|