最近在讀研究所的邏輯科目考題
發現證明題有註明使用semantic tableau證明的話會扣分
因為自己學的是真值樹證明法，怕這種方法不能用
因此想請問真值樹法算是semantic tableau嗎？
感謝！
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 218.171.117.171
> -------------------------------------------------------------------------- <
作者: 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