作者DiamondDust (爱情的十字路口)
看板W-Philosophy
标题[问题] 真值树法是semantic tableau吗？
时间Sun Nov 13 11:37:55 2005
最近在读研究所的逻辑科目考题
发现证明题有注明使用semantic tableau证明的话会扣分
因为自己学的是真值树证明法，怕这种方法不能用
因此想请问真值树法算是semantic tableau吗？
感谢！
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 218.171.117.171