(logic) A truth tree.
semantic tableau
教授はその議論の妥当性を検証するために真理値木の作り方を実演した。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★