[請益] 演繹論證中的真確性- 看板logic

如果一個論證的所有前提和它的結論是一致的，則該論證是有效的。

... 結論實際上為真"-->符合(1)"有效的"的定義所以我覺得這題答案應該是正確的...orz ... 批踢踢實業坊 › 看板logic 關於我們 聯絡資訊 返回看板 作者xin1028()看板logic標題[請益]演繹論證中的真確性時間SunFeb817:51:002015 目前在自學彭孟堯老師的基礎邏輯 在第一章習題中有點問題，故來請教版上各位先進! 判斷下列各題的說法是否正確 Q1.如果一個論證的所有前提和它的結論是一致的，則該論證是有效的。

(答案:否) 我的想法: "前提與結論是一致的"與前提、結論的真假值無關，只與命題是否為內在矛盾有關。

而有效的論證，即代表不可能出現前提皆真而結論為假的狀況。

但其中的"結論為假"並不代表結論是"內在矛盾的" 即，一個"前提皆真而結論為假"的論證，只要為假的結論不是內在矛盾， 則此論證雖是無效的，但仍可視為一致。

(不知這樣的想法是否正確?) Q2.一個演繹論證的所有前提實際上為真，且結論實際上為真，則它是真確的。

(答案:否) 我的想法: 一個論證是真確的，即代表:(1)該論證是有效的，且(2)該論證的所有前提皆真 因此，我認為 "所有前提實際上為真"-->符合(2) "所有前提實際上為真，且結論實際上為真"-->符合(1)"有效的"的定義 所以我覺得這題答案應該是正確的...orz 以上，感謝各位版友的解惑~!! -- ※發信站:批踢踢實業坊(ptt.cc),來自:220.133.230.62 ※文章網址:https://www.ptt.cc/bbs/logic/M.1423389063.A.A65.html 推azurviolet:針對Q2的理解可以把「實際上」當成是真值表的某一列02/0823:31 →azurviolet:有效的定義是：沒有情形使得前提為真，結論為假。

02/0823:32 →azurviolet:所以Q2的前件並沒有辦法讓你知道它是有效的，也就不會02/0823:34 →azurviolet:是真確的。

舉個例來說：草是綠的，所以天是藍的。

02/0823:35 →azurviolet:前提結論都在實際上為真，但此論證無效02/0823:38 推rossignols:關於Q1，你可以先用這種方式理解什麼是一致：一組語句02/0902:24 →rossignols:是一致的，若且唯若，你幫他們畫真值表後，至少有一行02/0902:25 →rossignols:所有句子會全部為真。

一個"前提皆真而結論為假"的論02/0902:26 →rossignols:證，就算為假的結論不是內在矛盾，這個論證還是有可02/0902:26 →rossignols:能不一致。

例如，前提是P，結論是非P。

02/0902:27 →xin1028:感謝兩位版友解惑！！！02/1221:08