相斥析取
#
相斥析取
含有「相斥析取」共 2 篇內容
全部內容
發佈日期由新至舊
綁架愛麗絲 之 地下邏輯 024
作者: 黃盛 2 The Pool of Tears: 視角1 一池淚水 五 細心的讀者或許會留意到﹐我們一直在強調「翻譯」這個概念。 我們日常用的語言都是自然語言﹐我們討論政治﹑社會﹑倫理﹑法律等問題時都用自然語言﹐再配以某些專用術語。科學家做證明或寫論文時也少不免要輔以自然語言的解說。
2023-09-13
3
#
愛麗絲奇境歷險記
#
一池淚水
#
綁架愛麗絲
綁架愛麗絲 之 地下邏輯 016
作者: 黃盛 1 Down the rabbit hole: 論理型 掉下兔子洞 十三 要做證明﹐我們還沒有足夠的工具。需要預先解決兩件事情才能對吃論[1]做個完整的證明。首先﹐我們要辨識吃論[1]中使用的所有的真值函應聯結詞; 次之﹐我們要學懂使用一些相關的推論規則。 首先﹐我們要找出真
2023-08-23
2
#
愛麗絲奇境歷險記
#
掉下兔子洞
#
綁架愛麗絲
