truth tree
English
Noun
truth tree (plural truth trees)
- (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
This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.