作者unmerciful (the strange)
看板W-Philosophy
标题Re: [问题] 真值树法是semantic tableau吗？
时间Tue Nov 15 23:15:42 2005
真值数谈的是syntax，并非semantic.
※ 引述《DiamondDust (爱情的十字路口)》之铭言：
: 最近在读研究所的逻辑科目考题
: 发现证明题有注明使用semantic tableau证明的话会扣分
: 因为自己学的是真值树证明法，怕这种方法不能用
: 因此想请问真值树法算是semantic tableau吗？
: 感谢！
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 61.229.174.36