{
  "aliases": [
    "first-order-logic",
    "predicate-calculus"
  ],
  "backlinks": [
    {
      "field": "uses",
      "target": "0HE5WDQ9FJ"
    },
    {
      "field": "uses",
      "target": "1GYEDS227W"
    },
    {
      "field": "uses",
      "target": "3RT74FQYG1"
    },
    {
      "field": "uses",
      "target": "47XHPD8XE2"
    },
    {
      "field": "uses",
      "target": "FTNXZ74D8N"
    },
    {
      "field": "uses",
      "target": "FYZ3CJGZYV"
    },
    {
      "field": "uses",
      "target": "FZRMYTQFRR"
    },
    {
      "field": "uses",
      "target": "JRBRNZT680"
    },
    {
      "field": "uses",
      "target": "K40YJX8K1G"
    },
    {
      "field": "uses",
      "target": "N4EDJNMTEF"
    },
    {
      "field": "uses",
      "target": "PWHJZYBNEY"
    },
    {
      "field": "uses",
      "target": "PZX9J3VEMT"
    },
    {
      "field": "uses",
      "target": "Q24EQE2HVG"
    },
    {
      "field": "uses",
      "target": "TH8EGSCFYY"
    },
    {
      "field": "uses",
      "target": "TT2ASTQ0WE"
    },
    {
      "field": "uses",
      "target": "VA6BNNY2YC"
    },
    {
      "field": "uses",
      "target": "W473FH7Z0P"
    },
    {
      "field": "about",
      "target": "FYZ3CJGZYV"
    },
    {
      "field": "about",
      "target": "VA6BNNY2YC"
    },
    {
      "field": "about",
      "target": "WQ1ZE255SF"
    }
  ],
  "body": "\n## Summary\n\nPredicate logic extends [[propositional logic|09K9MWD2QQ]] with variables for objects, [[predicates|0T3DPBG981]] and quantifiers.\nIts formulas can say \"for all $x$\" with the [[universal quantifier|0B88PQTJ66]] and \"there exists $x$\" with the [[existential quantifier|0JW2FHW7G3]].\nIn first-order logic, the quantifiers range over objects, not over sets of objects or predicates.\n\n## Remarks\n\nOther names are first-order logic and predicate calculus.\nAn example of a formula is $\\forall x \\, \\exists y \\, (y \u003e x)$.\nMost of mathematics can be written in first-order logic with the axioms of [[Zermelo–Fraenkel set theory|0HE5WDQ9FJ]].\n\n## Explanations\n\n### L1 human\n\nPropositional logic cannot say \"every number has a larger number\".\nPredicate logic can: it has variables such as $x$ and $y$, and words such as \"for all\" and \"there exists\".\nThis is the logic of most mathematical statements.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "aliases": [
      "first-order-logic",
      "predicate-calculus"
    ],
    "kind": "concept",
    "msc": [
      "03B10"
    ],
    "name": "Predicate logic",
    "same_as": {
      "wikidata": "Q4055684",
      "wikipedia": "First-order logic"
    },
    "sources": [
      {
        "locator": "lead section",
        "url": "https://en.wikipedia.org/wiki/First-order_logic"
      }
    ],
    "tag": "086QKPF0A6",
    "uses": [
      "09K9MWD2QQ",
      "0T3DPBG981"
    ]
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/086QKPF0A6/",
  "links": [
    {
      "field": "uses",
      "target": "09K9MWD2QQ"
    },
    {
      "field": "uses",
      "target": "0T3DPBG981"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/086QKPF0A6.md",
  "msc": [
    "03B10"
  ],
  "name": "Predicate logic",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/086/086QKPF0A6.md",
  "status": null,
  "tag": "086QKPF0A6",
  "uri": "m2://086QKPF0A6",
  "url": "https://tamnd.github.io/math2/wiki/predicate-logic/",
  "writing": {
    "tag": "086QKPF0A6",
    "kind": "concept",
    "level": "W1",
    "next": [
      {
        "what": "edge defines in",
        "note": "at least one definition",
        "have": 0,
        "want": 1
      },
      {
        "what": "edge instance_of in",
        "note": "at least two examples",
        "have": 0,
        "want": 2
      },
      {
        "what": "edge not_instance_of in",
        "note": "at least one non-example",
        "have": 0,
        "want": 1
      },
      {
        "what": "edge specializes both",
        "note": "the more general notions and the special cases",
        "have": 0,
        "want": 1
      }
    ]
  }
}