作者ichirogo (冲啊一朗)
看板logic
标题Re: [请益] 如何把语句化成量词逻辑？
时间Sat Nov 26 00:15:01 2005
※ 引述《maximilian (涉事)》之铭言：
: 我的印象是，如果你己经知道它是有效论证，那麽使用推论法则比较理想；
: 如果你不知道，或者知道它不是有效论证，那就使用真值表来检验吧。
可是用真值表就必须先把它运作成符号形式不是吗？
我就是不知道怎麽用符号来表达量词逻辑>"<
所以就不知道怎麽去写解....
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 220.139.239.95