{
  "aliases": [
    "first-order-monadic-predicate-logic",
    "monadic-first-order-logic",
    "monadic-first-order-logic-of-order",
    "monadic-logic",
    "monadic-predicate-logic"
  ],
  "backlinks": null,
  "body": "\n## Summary\n\nIn logic, the **monadic predicate calculus** (also called **monadic first-order logic**) is the fragment of **[[first-order logic|086QKPF0A6]]** (also called **predicate calculus**) in which all relation symbols in the signature are monadic (that is, they take only one argument), and there are no function symbols. In other words, all atomic formulas are of the form $P(t)$, where $P$ is a relation symbol and $t$ is a term.\n",
  "commit": "4a3290d299c8b2cd6493fce2296920ba7f82d942",
  "front": {
    "aliases": [
      "first-order-monadic-predicate-logic",
      "monadic-first-order-logic",
      "monadic-first-order-logic-of-order",
      "monadic-logic",
      "monadic-predicate-logic"
    ],
    "inventory": [
      "5SSXBYC1X5"
    ],
    "kind": "concept",
    "name": "Monadic predicate calculus",
    "same_as": {
      "wikidata": "Q6897882",
      "wikipedia": "Monadic predicate calculus"
    },
    "sources": [
      {
        "locator": "Monadic predicate calculus",
        "mention": "wikipedia://en/8015680",
        "note": "adopted",
        "sections": [
          "Summary"
        ],
        "wikipedia": "en:8015680@r1371775840"
      }
    ],
    "tag": "SERN6CRVWW"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/SERN6CRVWW/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/SERN6CRVWW.md",
  "msc": null,
  "name": "Monadic predicate calculus",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/SER/SERN6CRVWW.md",
  "status": null,
  "tag": "SERN6CRVWW",
  "uri": "m2://SERN6CRVWW",
  "url": "https://math2.tamnd.com/wiki/monadic-predicate-calculus/",
  "writing": {
    "tag": "SERN6CRVWW",
    "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
      }
    ]
  }
}