[問題] 真值樹法是semantic tableau嗎？

看板W-Philosophy作者 (愛情的十字路口)時間19年前 (2005/11/13 11:35), 編輯推噓0(0推 0噓 0→)
留言0則, 0人參與, 最新討論串1/2 (看更多)
最近在讀研究所的邏輯科目考題 發現證明題有註明使用semantic tableau證明的話會扣分 因為自己學的是真值樹證明法，怕這種方法不能用 因此想請問真值樹法算是semantic tableau嗎？ 感謝！ -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 218.171.117.171
‣ 更多 DiamondDust 的文章
文章代碼(AID): #13ThHopP (W-Philosophy)
‣ 更多 DiamondDust 的文章
文章代碼(AID): #13ThHopP (W-Philosophy)