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