作者aletheia (HERESY)
看板Logic
标题Re: [问题] 有关逻辑的几个问题
时间Tue Apr 1 20:26:09 2003
※ 引述《COCOAII (俐落出手)》之铭言：
: ※ 引述《aletheia (HERESY)》之铭言：
: : 无效论证 （invalid argument）
: : 的确是指「可能出现前提全为真，而结论为假的情况」，而且只要可能有这样的情况
: : 便称为无效论证。
: : 你所提出的论证的确是一无效论证，原因有可能「林旺、马兰是大象」皆为真。
: : 而结论「陈水扁是人」为假的状况发生。
: 必须说明的是 这是论证形式
: 并且 原po 并非由林旺 马兰 是大象 导出(entails) 陈水扁是人
: 而是先确定了三者的成立
: 得讲清楚的是 能确定 1)前提真 论证有效 则结论真
: 2)前提真 结论假 则论证无效
: 反之不必然
我想问一下 在你的看法中 在命题逻辑的范围内
entail是怎麽定义的？
前提和结论必须相关吗？
--
※ 发信站: 批踢踢实业坊(ptt.csie.ntu.edu.tw)
◆ From: 218.166.80.181