{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Summary\n\nShort for well-formed formula. Pronounced \"woof\", or sometimes \"wiff\", \"weff\", or \"whiff\". (All sources supported \"woof\". The sources cited for \"wiff\", \"weff\", and \"whiff\" gave these pronunciations as alternatives to \"woof\". Gensler gives \"wood\" and \"woofer\" as examples of how to pronounce the vowel in \"woof\".) Plural \"wffs\".\n",
  "commit": "4a3290d299c8b2cd6493fce2296920ba7f82d942",
  "front": {
    "inventory": [
      "9N6RXK4SY9"
    ],
    "kind": "concept",
    "name": "Wff",
    "sources": [
      {
        "locator": "Glossary of logic, section W",
        "mention": "wikipedia://en/76765067#PW50",
        "note": "adopted",
        "sections": [
          "Summary"
        ],
        "wikipedia": "en:76765067@r1368301704"
      }
    ],
    "tag": "9DXKQDHKF3"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/9DXKQDHKF3/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/9DXKQDHKF3.md",
  "msc": null,
  "name": "Wff",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/9DX/9DXKQDHKF3.md",
  "status": null,
  "tag": "9DXKQDHKF3",
  "uri": "m2://9DXKQDHKF3",
  "url": "https://math2.tamnd.com/wiki/wff/",
  "writing": {
    "tag": "9DXKQDHKF3",
    "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
      }
    ]
  }
}