916 エッヂの名無し 2025/03/03(月) 01:19:45.607 ID:G61G//BTt
>>906
君の論が正しいことを仮定した上で、論証を進め現実との矛盾点をあぶり出し論が間違っていたことを証明する方法やで？
背理法とは、ある命題 P を証明したいときに、P が偽であることを仮定して、そこから矛盾を導くことによって、P が偽であるという仮定が誤り、つまり P は真であると結論付けることである[1]。
P を仮定すると、矛盾 ⊥ が導けることにより、P の否定 ¬P を結論付けることは否定の導入などと呼ばれる[2]。