作者hardcover (如是如是)
看板logic
标题Re: [请益] 什麽是有效推论?
时间Thu May 14 17:08:36 2009
※ 引述《aletheia (cOnJeCTuRe)》之铭言:
: ※ 引述《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
我们上课的slides是这样写的
Valid/Invalid argument
o An objective analysis
- Is it possible that all premises are T, but the conclusion is F?
. If so, it is an invalid argument, otherwise, it is valid
^^^^^^^^^^^^^^^^^^^^^^
这麽说,是老师写错了?
上面要改成,otherwise, it can be valid or invalid ?
thanks
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.114.203.67
1F:推 mikechan:没错呀 有效推论 不可能前提都为真 结论却为假 05/15 00:34