(logic) A truth tree.
semantic tableau
教授はその議論の妥当性を検証するために真理値木の作り方を実演した。
Don't have an account? Sign up
Do you have an account? Login
DiQt
Free
★★★★★★★★★★