作者hardcover (如是如是)
看板logic
標題[請益] 什麼是有效推論?
時間Thu May 14 16:07:22 2009
1.在"大師不敢翹的課"一書中說：論証的有效性有語句的真假是兩回事。
有效性是指論証結構有效。
2.但是我查到關於有效論証的定義是：前題為真的時候，結論不能為假。
請看下面的例子
if 16 is divided by 4, then 16 is divided by 2
16 is divided by 2
so, 16 is divided by 4
由 1. 這個論証結構是無效的，所以是一個無效論証 (invalid argument)
由 2. 這個論証的前題都為真，結論也為真，所以是一個有效論証 (valid argument)
是哪裡搞錯了？
thanks
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.114.203.67
1F：推 mikechan:肯定後項的謬誤 一堆人常犯的毛病 05/15 00:29
2F：推 Hseuler:那是因為 妳要不要把數學真命題當作一個恆真命題呢? 05/15 01:00
3F：→ Hseuler:通常在邏輯書中 會把1+1=2 4/2=2 等等當作恆真的 05/15 01:00
4F：推 Hseuler:所以你會看到一些很怪的例子 05/15 01:02
5F：→ Hseuler:前提:陳水扁是貍貓 結論:2+2=4 他也是一個有效論證 05/15 01:03
6F：推 Hseuler:既然結論不可能為假了 符合前提為真的情況下結論不為假 05/15 01:06
7F：→ Hseuler:那就變成有效論證囉 05/15 01:06
8F：推 Hseuler:不過如果你火大 不想把數學命題當作真命題 05/15 01:19
9F：→ Hseuler:數學真命題當作恆真命題的話 05/15 01:19
10F：→ Hseuler:p->q,q|=p 這樣的形式當然不是有效論證 05/15 01:20
11F：推 jocabyu:肯定前件，因而肯定後件。不能因為肯定後件就自己肯定前件 05/17 23:43