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

看板logic作者 (如是如是)時間15年前 (2009/05/14 17:08), 編輯推噓1(100)
留言1則, 1人參與, 最新討論串3/6 (看更多)
※ 引述《aletheia (cOnJeCTuRe)》之銘言: : ※ 引述《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 我們上課的slides是這樣寫的 Valid/Invalid argument o An objective analysis - Is it possible that all premises are T, but the conclusion is F? . If so, it is an invalid argument, otherwise, it is valid ^^^^^^^^^^^^^^^^^^^^^^ 這麼說,是老師寫錯了? 上面要改成,otherwise, it can be valid or invalid ? thanks -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.114.203.67

05/15 00:34, , 1F
沒錯呀 有效推論 不可能前提都為真 結論卻為假
05/15 00:34, 1F
文章代碼(AID): #1A2z-LYh (logic)
討論串 (同標題文章)
文章代碼(AID): #1A2z-LYh (logic)