作者xin1028 ()
看板logic
標題[請益] 演繹論證中的真確性
時間Sun Feb 8 17:51:00 2015
目前在自學彭孟堯老師的基礎邏輯
在第一章習題中有點問題，故來請教版上各位先進!
判斷下列各題的說法是否正確
Q1.如果一個論證的所有前提和它的結論是一致的，則該論證是有效的。(答案:否)
我的想法:
"前提與結論是一致的"與前提、結論的真假值無關，只與命題是否為內在矛盾有關。
而有效的論證，即代表不可能出現前提皆真而結論為假的狀況。
但其中的"結論為假"並不代表結論是"內在矛盾的"
即，一個"前提皆真而結論為假"的論證，只要為假的結論不是內在矛盾，
則此論證雖是無效的，但仍可視為一致。 (不知這樣的想法是否正確?)
Q2.一個演繹論證的所有前提實際上為真，且結論實際上為真，則它是真確的。(答案:否)
我的想法:
一個論證是真確的，即代表:(1)該論證是有效的，且(2)該論證的所有前提皆真
因此，我認為
"所有前提實際上為真"-->符合(2)
"所有前提實際上為真，且結論實際上為真"-->符合(1)"有效的"的定義
所以我覺得這題答案應該是正確的...orz
以上，感謝各位版友的解惑~!!
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 220.133.230.62
※ 文章網址: https://webptt.com/m.aspx?n=bbs/logic/M.1423389063.A.A65.html
1F：推 azurviolet: 針對Q2的理解可以把「實際上」當成是真值表的某一列 02/08 23:31
2F：→ azurviolet: 有效的定義是：沒有情形使得前提為真，結論為假。 02/08 23:32
3F：→ azurviolet: 所以Q2的前件並沒有辦法讓你知道它是有效的，也就不會 02/08 23:34
4F：→ azurviolet: 是真確的。舉個例來說： 草是綠的，所以天是藍的。 02/08 23:35
5F：→ azurviolet: 前提結論都在實際上為真，但此論證無效 02/08 23:38
6F：推 rossignols: 關於Q1，你可以先用這種方式理解什麼是一致：一組語句 02/09 02:24
7F：→ rossignols: 是一致的，若且唯若，你幫他們畫真值表後，至少有一行 02/09 02:25
8F：→ rossignols: 所有句子會全部為真。一個"前提皆真而結論為假"的論 02/09 02:26
9F：→ rossignols: 證，就算為假的結論不是內在矛盾，這個論證還是有可 02/09 02:26
10F：→ rossignols: 能不一致。例如，前提是P，結論是非P。 02/09 02:27
11F：→ xin1028: 感謝兩位版友解惑！！！ 02/12 21:08