作者maximilian (涉事)
看板logic
标题Re: [请益] 如何把语句化成量词逻辑?
时间Sat Nov 26 00:01:46 2005
※ 引述《ichirogo (冲啊一朗)》之铭言:
: 要怎麽论证有效无效总是可以推得出来,
: 但要从文字运作成符号概念总是做不到><
: 想请教一下板上的大大。
: 例如这题:
: 政治家一定是政客。有些政治家不会骗人。有些政客不是政治家。
: 所以,有些政客会骗人。
: 这句话我推论的结果是无效论证,可是要化成量词符号的时候应该怎麽化呢?
: 然後,应该怎麽解释它是无效的论证呢?
我的印象是,如果你己经知道它是有效论证,那麽使用推论法则比较理想;
如果你不知道,或者知道它不是有效论证,那就使用真值表来检验吧。
--
Legalservice * 台 湾 大 学 法 律 服 务 社 * Legalservice
╭─
. ‧ I n
f o
r m
a t i
o n ‧ . ─╮
│
地 点 台北市徐州路21号 台大法律学院大礼堂
│
服务时间 每周六下午一点 至当日案件处理完毕为止(免费)
│
挂号时间 周六下午十二点四十五分至两点半 (限当日挂号)
│
电 话 (02) 23940537
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 218.166.148.143
1F:→ yllan:文不对题 @"@ 11/26 00:48