2001-06-20 [長年日記]
λ. 血液型
そうそう。僕はB型なんで、血液型で性格が決まるなんて信じないのさっ :D
λ. Dreamcast
弟がDreamcastを急に買って来たので驚く。外箱を見ると、MIL CD が動作するって書いてあるんで、たしかNetBSDとLinuxが動作したはず。しばらく遊べるかな。
λ. 含意
確かにフレーゲ的には、
片方が invert されてる OR は implication (含意)
なんだけど、「A ⇒ B」と書かないで、部分集合の記号を使って「A ⊇ B」って書くと混乱するような気がするにゃあ。AとBが条件なら、逆に「{x|A(x)} ⊆ {x|B(x)}」っていう表記もするし。(Aの外延は、Bの外延の部分集合になるんで)
[ツッコミを入れる]
