看板
[ logic ]
討論串[請益] 一個論證的有效性
共 9 篇文章
內容預覽:
那完全要看你的邏輯系統而定. 幾乎所有數學都可以歸約為邏輯. 羅素和Whitehead在《數學原理》是一個重要的里程碑. 而現代做自動證明的也在玩這套. 如果你的邏輯系統是可判定(例如實數的一階理論). 或半可判定的話. 例如一階邏輯. 還可以讓電腦自動判斷哪些語句是真的. 或暴搜 找有限模型下的反
(還有1064個字)
內容預覽:
有時候我會覺得，學邏輯要先拋開其他知識。. 如果從一個不懂數學、也不知道馬英九是什麼的人的角度來看，. 他並沒有足夠的知識去判斷2+2=4是否為真，. 或是馬英九是2010年的總統是否為真。. 但如果他有邏輯概念，. 他就知道這個論證無效。. 因為前提（全）為真，而結論為假的情況是允許的。. 這個判
(還有272個字)
內容預覽:
哦哦哦,原來是這樣:. 照你的文字轉抄並改寫,所謂「論證無效」的定義是. 「若有可能存在前題為真但結論為假的情況」. 以此思考舉例的論證,. 前提: 2+2=4.. 結論: 馬英九是2010年的總統.. 這一則論證無效,是因為「馬英九是2010年的總統」一句可以是真,也可以是假.. 一般人會因為世界
(還有119個字)
內容預覽:
這是台大通識邏輯課上老師舉的例子，. 可是包括小妹在內很多人都無法理解@@. 是關於一個論證(argument)的有效性(validity)的問題，. 老師說「論證有效」的定義為「不可能存在前提為真結論為假的情況」，. 若「有可能」，則此論證無效。. 於是老師舉了一個論證：. 前提：2+2=4. 結
(還有42個字)