論理記号

• □P：Pが真であることは必然的である
• ◇P：Pが真であることは可能である
• ▽P：Pが真であれ偽であれそれは偶然である
• Fa ：aはFである（aは主語。Fは述語。）
• ∀xFx：あらゆるxにつき、Fxは真である（すべてのものはFである）
• ∃xFx：あるxにつき、Fxは真である（Fであるものが存在する）

　論理記号については、ここのホムペが役に立ちそうだ。