{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Summary\n\n**Vector logic** is an algebraic model of elementary logic based on [[matrix algebra|0VD9ZSWWJG]]. Vector logic assumes that the truth values map on [[vectors|0QN3D80AWP]], and that the monadic and dyadic operations are executed by matrix operators. \"Vector logic\" has also been used to refer to the representation of classical propositional logic as a [[vector space|000AYPA9AJ]], in which the unit vectors are propositional variables. Predicate logic can be represented as a vector space of the same type in which the axes represent the predicate letters $S$ and $P$. In the vector space for propositional logic the origin represents the false, F, and the infinite periphery represents the true, T, whereas in the space for predicate logic the origin represents \"nothing\" and the periphery represents the flight from nothing, or \"something\".\n",
  "commit": "4a3290d299c8b2cd6493fce2296920ba7f82d942",
  "front": {
    "inventory": [
      "KZZT4D5ZJY"
    ],
    "kind": "concept",
    "name": "Vector logic",
    "same_as": {
      "wikidata": "Q17104546",
      "wikipedia": "Vector logic"
    },
    "sources": [
      {
        "locator": "Vector logic",
        "mention": "wikipedia://en/39457694",
        "note": "adopted",
        "sections": [
          "Summary"
        ],
        "wikipedia": "en:39457694@r1375667644"
      }
    ],
    "tag": "DJ41X602BJ"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/DJ41X602BJ/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/DJ41X602BJ.md",
  "msc": null,
  "name": "Vector logic",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/DJ4/DJ41X602BJ.md",
  "status": null,
  "tag": "DJ41X602BJ",
  "uri": "m2://DJ41X602BJ",
  "url": "https://math2.tamnd.com/wiki/vector-logic/",
  "writing": {
    "tag": "DJ41X602BJ",
    "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
      }
    ]
  }
}