(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 tree
式の集合の整合性を判断するため、学生たちは各節点がそこから他の命題が導ける場合に限り分岐するセマンティック・タブローを作成した。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★