  |
はてなキーワード: 否定の否定とは
あと一つは？
「1*0=0」ってのは分かる。「リンゴがひとつ入ったカゴが0個あります。合計リンゴはいくつですか？」そりゃあ0個ですよ。
「0*1=0」も分かる。「リンゴがひとつも入っていないカゴが一つあります。合計リンゴはいくつですか？」
でも、「リンゴがひとつも入ってないカゴがひとつもありません。合計リンゴはいくつですか？」っていう質問、なんか気持ち悪い。この感覚をうまく伝えられないけど、「否定の否定は肯定」みたいな。
いやもちろん、論理積(and)では0*0=0を使ってるのは頭ではわかってるんだけど、心理的に受け入れられない。
ぱっと考えただけでも下みたいな証明が思いついたんだけど、なんか拒んじゃう。
①S=0*0 とする。S=0*0=(2*0)*0=2*(0*0)=2Sより、S=0
②0*0=0*(1-1)=0*1-0*1=0
