看板 [ logic ]
討論串[討論] 關于構造邏輯
共 2 篇文章
內容預覽： 開啟 | 關閉 | 只限未讀
首頁
上一頁
1
下一頁
尾頁
#2
Re: [討論] 關于構造邏輯
推噓0(0推 0噓 0→)留言0則，0人參與, 最新作者xcycl (XOO)時間10年前 (2015/02/09 06:50), 10年前編輯資訊
0
0
1
內容預覽:
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 124.77.89.116. ※ 文章網址: https://www.ptt.cc/bbs/logic/M.1423026514.A.572.html. 排中律成不成立是依照不同的邏輯來說的，單純就 forall P . P v ~ P 來說，.
(還有487個字)
#1
[討論] 關于構造邏輯
推噓12(12推 0噓 44→)留言56則，0人參與, 最新作者carelai (風云人物)時間10年前 (2015/02/04 13:08), 編輯資訊
0
0
0
內容預覽:
在構造邏輯（非經典邏輯）中，排中律是不可用的，即未必P和not(P)有一個必為真。. 由此，可以知not(not(P))無法推出P（即傳統的反證法不成立）。但是，. not(not(not(P)))卻可以推出not(P)。還有，如果P能推出R，not(P)也能推出R，. 那么我們可以得出結論，not
首頁
上一頁
1
下一頁
尾頁