{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Summary\n\nAn argument where the logical structure ensures the truth of the conclusion if the premises are true, and where the premises are indeed true, making the argument both valid and sound.\n",
  "commit": "4a3290d299c8b2cd6493fce2296920ba7f82d942",
  "front": {
    "inventory": [
      "JWEQ0H9VQZ"
    ],
    "kind": "concept",
    "name": "Sound deductive argument",
    "sources": [
      {
        "locator": "Glossary of logic, section S",
        "mention": "wikipedia://en/76765067#JKPR",
        "note": "adopted",
        "sections": [
          "Summary"
        ],
        "wikipedia": "en:76765067@r1368301704"
      }
    ],
    "tag": "55HFJFZXVR"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/55HFJFZXVR/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/55HFJFZXVR.md",
  "msc": null,
  "name": "Sound deductive argument",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/55H/55HFJFZXVR.md",
  "status": null,
  "tag": "55HFJFZXVR",
  "uri": "m2://55HFJFZXVR",
  "url": "https://math2.tamnd.com/wiki/sound-deductive-argument/",
  "writing": {
    "tag": "55HFJFZXVR",
    "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
      }
    ]
  }
}