[問題] 有關邏輯的幾個問題
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
討論串 (同標題文章)
完整討論串 (本文為第 1 之 2 篇)：