→ khsiuol:感覺他也不是錯 只是valid跟true用了另一種翻譯 03/02 18:30
※ 引述《boblu (六百)》之銘言：
: 1. 所有的豬都有鰓
: 2. 有鰓的都會飛
: 3. 所有的豬都會飛
: 由 1 2 推出 3, 這是事實錯誤，但是邏輯無誤
: ---
有效性的定義：一個論證是有效的，若且為若，不可能出現所有前提都為真，而且結論為
假的情形。
真確性的定義：一個論證是真確的，若且為若，該論證是有效的，而且該論證的每個前提
實際上都為真。
﹋﹋
所以可以很簡單的看出，這個推論也不是真的，應該說推論無誤。
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.241.62
※ 編輯: a5378623 來自: 140.112.241.62 (03/02 17:16)