作者DiamondDust (愛情的十字路口)
看板W-Philosophy
標題[問題] 真值樹法是semantic tableau嗎？
時間Sun Nov 13 11:37:55 2005
最近在讀研究所的邏輯科目考題
發現證明題有註明使用semantic tableau證明的話會扣分
因為自己學的是真值樹證明法，怕這種方法不能用
因此想請問真值樹法算是semantic tableau嗎？
感謝！
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 218.171.117.171