07/02/13 15:25:28 FG6dnOvi
>>782
お前馬鹿だな～。直観主義論理の公理では否定除去型の背理法は駄目だが導入型はアリだろ。
要は二重否定が使えないというのが正しい。しかも有限集合ならばそれすらも使えるだろうが。
実際、お前の言うとおり、
＞議論における主張など構成要素は無限集合に近い。
つまり、近いということは有限集合なのだから、問題なく使えるだろ。
＞例えば、真犯人が潜んでいて犯行を行ったのかも知れないしそもそも自殺かも知れない。
これはひどすぎるな。直観主義と何の関係もないじゃないか。
前提が正しくない推論は古典論理だろうがなんだろうがダメなのは当然だろ。
さっきも言ったように、この例は有限集合なんだからそもそも直観主義の出る幕じゃない。