作者aletheia (cOnJeCTuRe)
看板logic
标题Re: [请益] 什麽是有效推论?
时间Thu May 14 16:49:45 2009
※ 引述《hardcover (如是如是)》之铭言:
: 1.在"大师不敢翘的课"一书中说:论证的有效性有语句的真假是两回事。
: 有效性是指论证结构有效。
: 2.但是我查到关於有效论证的定义是:前题为真的时候,结论不能为假。
: 请看下面的例子
: if 16 is divided by 4, then 16 is divided by 2
: 16 is divided by 2
: so, 16 is divided by 4
: 由 1. 这个论证结构是无效的,所以是一个无效论证 (invalid argument)
: 由 2. 这个论证的前题都为真,结论也为真,所以是一个有效论证 (valid argument)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
错了 2有点模糊没错
2是 有效论证是前提全真的时候,结论不能为假
也就是前提皆真结论假就不是有效论证
但2不是 前提皆真结论真就是有效论证
: 是哪里搞错了?
: thanks
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 220.134.201.196