English Dictionary

truth tree

名詞

(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

日本語の意味

論理学において、真理値表の派生版であり、任意のノード（命題を表す）から、真偽の可能性に基づいて枝分かれを行い、他の命題が導出される場合にその分岐が生じる図表。

To determine the consistency of the set of formulas, the students constructed a truth tree in which each node branches if and only if other statements could be derived from it.

式の集合の整合性を判断するため、学生たちは各節点がそこから他の命題が導ける場合に限り分岐するセマンティック・タブローを作成した。

意味（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

truth trees （ plural ）