Sat, Jun 05 - itness’s blog

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はあらゆる可能世界で真である）