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

看板logic作者 (cOnJeCTuRe)時間15年前 (2009/05/14 16:49), 編輯推噓0(000)
留言0則, 0人參與, 最新討論串2/6 (看更多)
※ 引述《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) ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 錯了 2有點模糊沒錯 2是 有效論證是前提全真的時候,結論不能為假 也就是前提皆真結論假就不是有效論證 但2不是 前提皆真結論真就是有效論證 : 是哪裡搞錯了? : thanks -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 220.134.201.196
文章代碼(AID): #1A2zihdb (logic)
討論串 (同標題文章)
文章代碼(AID): #1A2zihdb (logic)