Re: [問題] 有關邏輯的幾個問題
※ 引述《COCOAII (俐落出手)》之銘言：
: ※ 引述《aletheia (HERESY)》之銘言：
: : 無效論證 （invalid argument）
: : 的確是指「可能出現前提全為真，而結論為假的情況」，而且只要可能有這樣的情況
: : 便稱為無效論證。
: : 你所提出的論證的確是一無效論證，原因有可能「林旺、馬蘭是大象」皆為真。
: : 而結論「陳水扁是人」為假的狀況發生。
: 必須說明的是 這是論證形式
: 並且 原po 並非由林旺 馬蘭 是大象 導出(entails) 陳水扁是人
: 而是先確定了三者的成立
: 得講清楚的是 能確定 1)前提真 論證有效 則結論真
: 2)前提真 結論假 則論證無效
: 反之不必然
我想問一下 在你的看法中 在命題邏輯的範圍內
entail是怎麼定義的？
前提和結論必須相關嗎？
--
※ 發信站: 批踢踢實業坊(ptt.csie.ntu.edu.tw)
◆ From: 218.166.80.181
討論串 (同標題文章)
完整討論串 (本文為第 2 之 2 篇)：