論理/述語論理 - HifeLacks - serenista@wiki

(first-order) predicate logic

■関連するページ

• 論理
• 論理/誤謬
• 論理/網羅
• 論理/反論
• 論理/三段論法
• 論理/命題論理
• 論理/述語論理
• 論理/いろいろ
• 論理/参考書

---

■このページの目次

---

量化子

全称記号	∀
存在記号	∃

■例

• ∀xP(x)。すべてのxについて、P(x)が成り立つ。
• ∃xP(x)。あるxについて、P(x)が成り立つ　→P(x)が成り立つようなxが少なくともひとつ存在する。

公式

正式にはコロンはつけないが、プレーンテキストだと読みづらいので。

• ￢(∀x:P(x)) ⇔ ∃x:￢P(x)
• ￢(∃x:P(x)) ⇔ ∀x:￢P(x)

---

アップロードファイル表示

---