>>118１３２人目の素数さん2018/09/02(日) 21:15:37.89ID:ZwkeQDLB
＞このスレの基礎論の専門家に質問させて頂きます。背理法についてです。
＞証明したい命題をＡとします。このとき、¬Ａを仮定して、
＞矛盾(¬Ｃ∧Ｃ)を導いて、排中律より命題Ａを真とするのが背理法と思います。

いいや違う！　

そのように書いているアホな著者がいるのは事実だが、ヽ(^o^)丿

証明したい命題「P(x)ならばＱ(x)である」があった場合、P(x)＆〜Ｑ(x)
からｘに関しての矛盾を導くのが背理法（帰謬法）。