{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "5PP333WZEK"
    },
    {
      "field": "uses",
      "target": "E2CBFNAVZY"
    },
    {
      "field": "uses",
      "target": "ETCVR65W3M"
    },
    {
      "field": "uses",
      "target": "WQ1ZE255SF"
    },
    {
      "field": "about",
      "target": "E2CBFNAVZY"
    },
    {
      "field": "about",
      "target": "WQ1ZE255SF"
    },
    {
      "field": "defines",
      "target": "KKNB9JY1YH"
    }
  ],
  "body": "\n## Summary\n\nA formula $\\varphi$ is a logical consequence of a set of formulas $\\Gamma$ when every interpretation making all of $\\Gamma$ true makes $\\varphi$ true.\nThis is written $\\Gamma \\models \\varphi$.\nIt is the semantic notion of \"follows from\", in contrast with derivability $\\Gamma \\vdash \\varphi$ in a proof system.\n[[Soundness|4A84VHDTHV]] and [[Gödel's completeness theorem|WQ1ZE255SF]] say that the two notions agree in first-order logic.\n\n## Explanations\n\n### L1 human\n\nA conclusion follows logically from premises when there is no way to make the premises true and the conclusion false.\nFor example, from \"if it rains, the street is wet\" and \"it rains\", it follows that \"the street is wet\".\nThis depends only on the form of the sentences, not on facts about weather.\n",
  "commit": "547b6eddb8f2feb8d579f2d633d22a27b7e132fc",
  "front": {
    "kind": "concept",
    "msc": [
      "03B05",
      "03B10"
    ],
    "name": "Logical consequence",
    "same_as": {
      "wikidata": "Q374182",
      "wikipedia": "Logical consequence"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Logical_consequence"
      }
    ],
    "tag": "1HK0VYWTV7"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/1HK0VYWTV7/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/1HK0VYWTV7.md",
  "msc": [
    "03B05",
    "03B10"
  ],
  "name": "Logical consequence",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/1HK/1HK0VYWTV7.md",
  "status": null,
  "tag": "1HK0VYWTV7",
  "uri": "m2://1HK0VYWTV7",
  "url": "https://math2.tamnd.com/wiki/logical-consequence/",
  "writing": {
    "tag": "1HK0VYWTV7",
    "kind": "concept",
    "level": "W0",
    "next": [
      {
        "what": "an inventory row",
        "note": "the row of the inventory that the node accounts for",
        "have": 0,
        "want": 1
      },
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}