作者copular (牛杂)
看板logic
标题Re: [请益] 如何把语句化成量词逻辑？
时间Sat Nov 26 12:07:48 2005
※ 引述《ichirogo (冲啊一朗)》之铭言：
: 要怎麽论证有效无效总是可以推得出来，
: 但要从文字运作成符号概念总是做不到><
: 想请教一下板上的大大。
: 例如这题：
: 政治家一定是政客。有些政治家不会骗人。有些政客不是政治家。
Ax(政治家(x)->政客(x))
Ex(政治家(x)^~骗人(x))
Ex(政客(x)^~政治家(x))
: 所以，有些政客会骗人。
Ex(政客(x)^骗人(x))
: 这句话我推论的结果是无效论证，可是要化成量词符号的时候应该怎麽化呢？
: 然後，应该怎麽解释它是无效的论证呢？
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 210.58.34.176