Re: [請益] 如何把語句化成量詞邏輯？

[ichirogo (衝啊一朗)]

※ 引述《maximilian (涉事)》之銘言：
: 我的印象是，如果你己經知道它是有效論證，那麼使用推論法則比較理想；
: 如果你不知道，或者知道它不是有效論證，那就使用真值表來檢驗吧。
可是用真值表就必須先把它運作成符號形式不是嗎？
我就是不知道怎麼用符號來表達量詞邏輯>"<
所以就不知道怎麼去寫解....

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