看板
[ logic ]
討論串[請益] 反證法
共 9 篇文章
內容預覽:
最近在找一些資料,意外發現這篇幾年前的文章,覺得很有趣. 就回了一下。. 這個「反過來說」之所以成立,我覺得跟排中原理比較有關。. (邏輯系統牽一髮而動全身,感覺很難定義什麼叫做跟某某原理有. 關... orz)正如 intontu 所說,古典邏輯如果用一般的自然演繹. 系統寫出來,反証法的基礎之一
(還有684個字)
內容預覽:
這裡讓我想了很久。. 究竟反証法與排中律以及explosion之間的關聯是什麼?. 我覺得這是一個很難的問題,. 因為比較常見的像是直覺邏輯或許多的relevant logic系統是三者都不成立,. 而其它非古典邏輯是三者都成立, 所以很難想像它們的差別在哪。. paraconsistent log
(還有967個字)
內容預覽:
對也不對。在零階直覺邏輯中這些都等價:. 1. 排中律: A or ~A. 2. Peirce: ((A -> B) -> A) -> A. 3. De Morgan. 4. 你用的古典邏輯定理: (A -> B) <-> (~ A or B). 5. 反證法: ~~A -> A. 6. ....
(還有158個字)