"truth tree" meaning in English

See truth tree in All languages combined, or Wiktionary

Noun

Forms: truth trees [plural]
Head templates: {{en-noun}} truth tree (plural truth trees)
  1. (logic) A variation of a truth table in which any node (representing a statement) has branches if and only if other statements (true or false) may be derived from it Categories (topical): Logic Synonyms: semantic tableau
    Sense id: en-truth_tree-en-noun-AJHFQzVM Categories (other): English entries with incorrect language header Topics: human-sciences, logic, mathematics, philosophy, sciences

Inflected forms

Download JSON data for truth tree meaning in English (1.3kB)

{
  "forms": [
    {
      "form": "truth trees",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "truth tree (plural truth trees)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        {
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [
            "Entries with incorrect language header",
            "Entry maintenance"
          ],
          "source": "w"
        },
        {
          "kind": "topical",
          "langcode": "en",
          "name": "Logic",
          "orig": "en:Logic",
          "parents": [
            "Formal sciences",
            "Philosophy",
            "Sciences",
            "All topics",
            "Fundamental"
          ],
          "source": "w"
        }
      ],
      "glosses": [
        "A variation of a truth table in which any node (representing a statement) has branches if and only if other statements (true or false) may be derived from it"
      ],
      "id": "en-truth_tree-en-noun-AJHFQzVM",
      "links": [
        [
          "logic",
          "logic"
        ],
        [
          "variation",
          "variation"
        ],
        [
          "truth table",
          "truth table"
        ],
        [
          "node",
          "node"
        ],
        [
          "statement",
          "statement"
        ],
        [
          "branch",
          "branch"
        ],
        [
          "true",
          "true"
        ],
        [
          "false",
          "false"
        ]
      ],
      "raw_glosses": [
        "(logic) A variation of a truth table in which any node (representing a statement) has branches if and only if other statements (true or false) may be derived from it"
      ],
      "synonyms": [
        {
          "word": "semantic tableau"
        }
      ],
      "topics": [
        "human-sciences",
        "logic",
        "mathematics",
        "philosophy",
        "sciences"
      ]
    }
  ],
  "word": "truth tree"
}
{
  "forms": [
    {
      "form": "truth trees",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "truth tree (plural truth trees)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        "English countable nouns",
        "English entries with incorrect language header",
        "English lemmas",
        "English multiword terms",
        "English nouns",
        "en:Logic"
      ],
      "glosses": [
        "A variation of a truth table in which any node (representing a statement) has branches if and only if other statements (true or false) may be derived from it"
      ],
      "links": [
        [
          "logic",
          "logic"
        ],
        [
          "variation",
          "variation"
        ],
        [
          "truth table",
          "truth table"
        ],
        [
          "node",
          "node"
        ],
        [
          "statement",
          "statement"
        ],
        [
          "branch",
          "branch"
        ],
        [
          "true",
          "true"
        ],
        [
          "false",
          "false"
        ]
      ],
      "raw_glosses": [
        "(logic) A variation of a truth table in which any node (representing a statement) has branches if and only if other statements (true or false) may be derived from it"
      ],
      "synonyms": [
        {
          "word": "semantic tableau"
        }
      ],
      "topics": [
        "human-sciences",
        "logic",
        "mathematics",
        "philosophy",
        "sciences"
      ]
    }
  ],
  "word": "truth tree"
}

This page is a part of the kaikki.org machine-readable English dictionary. This dictionary is based on structured data extracted on 2024-05-01 from the enwiktionary dump dated 2024-04-21 using wiktextract (f4fd8c9 and c9440ce). The data shown on this site has been post-processed and various details (e.g., extra categories) removed, some information disambiguated, and additional data merged from other sources. See the raw data download page for the unprocessed wiktextract data.

If you use this data in academic research, please cite Tatu Ylonen: Wiktextract: Wiktionary as Machine-Readable Structured Data, Proceedings of the 13th Conference on Language Resources and Evaluation (LREC), pp. 1317-1325, Marseille, 20-25 June 2022. Linking to the relevant page(s) under https://kaikki.org would also be greatly appreciated.