truth tree

From Wiktionary, the free dictionary
Jump to navigation Jump to search

English[edit]

Noun[edit]

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
    Synonym: semantic tableau
Retrieved from "https://en.wiktionary.org/w/index.php?title=truth_tree&oldid=76754772"