0165132人目の素数さん垢版 | 大砲2018/06/28(木) 17:53:06.14ID:prqjFl7D >>164 形式的にはどっちを仮定してももう一方が出る 哲学的には、背理法は大域的な手法で、論理体系全体の無矛盾性を根拠にしてる 無矛盾性を仮定していい場合には使えるけどそうじゃない場合には使えない 対偶法は局所的な手法で、P→Qと¬Q→¬Pが同値であるようなP、Qのペアがいくつか既知なら それらを組み合わせて成立する。論理体系全体の無矛盾性については考えなくていい