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

[DiamondDust (愛情的十字路口)]

最近在讀研究所的邏輯科目考題
發現證明題有註明使用semantic tableau證明的話會扣分
因為自己學的是真值樹證明法，怕這種方法不能用
因此想請問真值樹法算是semantic tableau嗎？
感謝！


--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 218.171.117.171