看板
[ logic ]
討論串吵架專用的悖論
共 30 篇文章
內容預覽:
這邊我只能科科了. 我想這邊 你寫錯了. X=X這當然是tautology 不過你怎麼知道X也是tautology. 我邏輯不好 試寫一下. X=X->Y. (X and (X->Y))->Y (這是MP 直接用應該沒關係). (X and X)->Y. X->Y. X. Y. 而Y可以用任何的句子
(還有4個字)
內容預覽:
所以才有 paradox. 抄大一課本. 如果本句為真,上帝存在。. 令X表「本句」,Y為「上帝」。. 這個句子為. X->Y. 亦即. X= X->Y. X->X (恆真句). = X->(X->Y). = X->Y. = X. X為恆真句,. 這個句子本身從來沒有矛盾過,. 這個語句單一時,沒有
(還有367個字)
內容預覽:
拜託你拿起你的邏輯學課本,翻到 paradox 那章. 看看人家標起來特別講解 paradox 和 contradiction 的解釋不同在哪裏. 如果本句為真,上帝存在。 你寫出最基本的推理公式就知道這是恆真句。. 如果本句為真,上帝不存在。 你寫出最基本的推理公式就知道這也是恆真句。. 什麼叫
(還有29個字)