作者COCOAII (俐落出手)
看板Logic
标题[问题] 有关逻辑的几个问题
时间Sat Mar 22 13:37:01 2003
1.设C唯一无效论证之结论。若C为恒真句，则C不可能与该论证之前提相互不一致。
2.有效论证之结论若为矛盾句，则其前提当中不可能含有恒真句。
3.具有有效论证形式(valid argument form)的论证皆为有效，就如同具有无效论证形式
的论证皆为无效那样。
4.若一论证之前提全部为假，而且与其结论不一致，则该论证必然无效。
5.设论证G之前提皆为适真句(contingent setences)，若其结论为矛盾句，则G为无效论
证。
6.以下的论证是有效的:张三知道所有偶数都是自然数；而且张三也知道8是偶数。因此，
张三知道8是自然数。
请问以上各题true or false？ 理由为何？ 谢谢
--
※ 发信站: 批踢踢实业坊(ptt.csie.ntu.edu.tw)
◆ From: 218.160.8.171