[請益] 什麼是有效推論?

[hardcover (如是如是)]

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
推 mikechan:肯定後項的謬誤  一堆人常犯的毛病
推 Hseuler:那是因為 妳要不要把數學真命題當作一個恆真命題呢?
→ Hseuler:通常在邏輯書中 會把1+1=2 4/2=2 等等當作恆真的
推 Hseuler:所以你會看到一些很怪的例子
→ Hseuler:前提:陳水扁是貍貓 結論:2+2=4 他也是一個有效論證
推 Hseuler:既然結論不可能為假了 符合前提為真的情況下結論不為假
→ Hseuler:那就變成有效論證囉
推 Hseuler:不過如果你火大 不想把數學命題當作真命題
→ Hseuler:數學真命題當作恆真命題的話
→ Hseuler:p->q,q|=p 這樣的形式當然不是有效論證
推 jocabyu:肯定前件，因而肯定後件。不能因為肯定後件就自己肯定前件