{
  "aliases": [
    "empty-clause"
  ],
  "backlinks": null,
  "body": "\n## Summary\n\nIn logic, a **clause** is a propositional formula formed from a finite collection of literals (atoms or their negations) and logical connectives. A clause is true either whenever at least one of the literals that form it is true (a disjunctive clause, the most common use of the term), or when all of the literals that form it are true (a conjunctive clause, a less common use of the term). That is, it is a finite [[disjunction|0F72FK8EKB]] or [[conjunction|025YZN3VJW]] of literals, depending on the context. Clauses are usually written as follows, where the symbols $l_i$ are literals:\n",
  "commit": "4a3290d299c8b2cd6493fce2296920ba7f82d942",
  "front": {
    "aliases": [
      "empty-clause"
    ],
    "inventory": [
      "AF46NT23PP"
    ],
    "kind": "concept",
    "name": "Clause (logic)",
    "same_as": {
      "wikidata": "Q1228746",
      "wikipedia": "Clause (logic)"
    },
    "sources": [
      {
        "locator": "Clause (logic)",
        "mention": "wikipedia://en/4638484",
        "note": "adopted",
        "sections": [
          "Summary"
        ],
        "wikipedia": "en:4638484@r1369526364"
      }
    ],
    "tag": "T3SXVH3ZZC"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/T3SXVH3ZZC/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/T3SXVH3ZZC.md",
  "msc": null,
  "name": "Clause (logic)",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/T3S/T3SXVH3ZZC.md",
  "status": null,
  "tag": "T3SXVH3ZZC",
  "uri": "m2://T3SXVH3ZZC",
  "url": "https://math2.tamnd.com/wiki/clause-logic/",
  "writing": {
    "tag": "T3SXVH3ZZC",
    "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
      }
    ]
  }
}