Sat, Jun 05
- 00:53 Photo: rob-art: http://tumblr.com/xwwaz4hgt
- 00:58 Photo: cammmpo: http://tumblr.com/xwwaz4r5k
- 01:07 Photo: t-s-k-b: http://tumblr.com/xwwaz58oq
- 15:49 〜 でない(文、命題の否定)
- 15:49 > または
- 15:49 < かつ
- 15:50 ⊃ ならば(十分条件)
- 15:50 ≡ ならば、そしてその時にかぎり(必要十分条件 もしくは 同値)
- 15:52 ∃x (Fx) あるxはFである。
- 15:53 ∀x (Fx) すべてのxはFである
- 15:54 ∃f (fa) ある性質がaにあてはまる
- 15:54 ∀f (fa) すべての性質がaにあてはまる
- 16:00 λx (Fx) Fであるという性質
- 16:01 ιx (Fx) Fであるような唯一のx
- 16:01 Ea aは存在する
- 16:02 = 同一である
- 16:02 =df 左辺は右辺により定義される
- 16:03 ◇P Pは可能である(Pはある可能世界で真である)
- 16:03 □P Pは必然的である(Pはあらゆる可能世界で真である)
Powered by twtr2src