2008-09-14 記号 数学 メモ 論理包含 同値 論理積 論理和 否定 全称 存在 ゲンツェン ⊃ ⊃⊂ & ∨ ¬ ∀x ∃x ラッセル ⊃ ≡ ・ ∨ 〜 (x) (∃x) ヒルベルト → 〜 & v  ̄ (x) (Ex) ライプニッツ 不明 不明 ・ + 不明 Πx Σx