2008-06-04 背理法 word. 背理法は、結論を直接に導くのではなく、矛盾が出てきた以上仮定が間違っているはずだとして、仮定を否定した命題が証明できた事にする手法である。 ―論理学入門・三浦俊彦―より