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

       
  



次ページ
続きを表示
1を表示
最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch