背理法
la: reductio ad absurdum
abbr. RAA
en: proof by contradiction
広義の背理法
否定の導入
en: refutation by contradiction
否定の除去
aka. 狭義の背理法
否定の除去
¬A → ⊥ ⊢ A
¬A → ⊥ ≡ ¬¬A
体系に よる
cf. 二重否定除去
矛盾から結論を導く論法
上述の通り 2つ ある。
否定の導入や否定の除去の単体との違いに注意
ref.
https://ja.wikipedia.org/wiki/%E8%83%8C%E7%90%86%E6%B3%95
https://en.wikipedia.org/wiki/Proof_by_contradiction
形式化すると二重否定除去だと言う。
#論理学 #形式論理学