━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
数理論理学 第６回「論理式と証明法 5」の要点
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━

●よく使う論理表現

全称と存在の慣用表現
        条件付き全称：∀x(P(x)⇒Q(x))
        条件付き存在：∃x(P(x)∧Q(x))
        同一概念：∀x(P(x)⇔Q(x))

量化の慣用表現
        一意，一意存在，など

●全称と存在の否定

量化の否定の論理法則 (ド・モルガン)
        ¬∀xP(x) ⇔ ∃x¬P(x)       (部分否定)
        ¬∃xP(x) ⇔ ∀x¬P(x)       (全体否定)

━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
授業のホームページ

山田 俊行
https://www.cs.info.mie-u.ac.jp/~toshi/