18/12/29 13:05:15.35 b12cl4WK.net
>>118１３２人目の素数さん2018/09/02(日) 21:15:37.89ID:ZwkeQDLB
＞このスレの基礎論の専門家に質問させて頂きます。背理法についてです。
＞証明したい命題をＡとします。このとき、￢Ａを仮定して、
＞矛盾(￢Ｃ∧Ｃ)を導いて、排中律より命題Ａを真とするのが背理法と思います。
いいや違う！
そのように書いているアホな著者がいるのは事実だが、ヽ(^o^)丿
証明したい命題「P(x)ならばＱ(x)である」があった場合、P(x)＆～Ｑ(x)
からｘに関しての矛盾を導くのが背理法（帰謬法）。