{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Summary\n\nA logical system that allows for the existence of both true and false atomic propositions but does not require every proposition to be either true or false, rejecting the law of the excluded middle for certain propositions.\n",
  "commit": "4a3290d299c8b2cd6493fce2296920ba7f82d942",
  "front": {
    "inventory": [
      "12BTK3EH85"
    ],
    "kind": "concept",
    "name": "First-degree entailment (FDE)",
    "sources": [
      {
        "locator": "Glossary of logic, section F",
        "mention": "wikipedia://en/76765067#26V4",
        "note": "adopted",
        "sections": [
          "Summary"
        ],
        "wikipedia": "en:76765067@r1368301704"
      }
    ],
    "tag": "KXTP4P3GHT"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/KXTP4P3GHT/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/KXTP4P3GHT.md",
  "msc": null,
  "name": "First-degree entailment (FDE)",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/KXT/KXTP4P3GHT.md",
  "status": null,
  "tag": "KXTP4P3GHT",
  "uri": "m2://KXTP4P3GHT",
  "url": "https://math2.tamnd.com/wiki/first-degree-entailment-fde/",
  "writing": {
    "tag": "KXTP4P3GHT",
    "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
      }
    ]
  }
}