首先|=是一個模型論的概念因此要懂必須先知道什麼是模型因為現在講的是語句邏輯而已所以模型就是atomic symbol的truth assignment (以後學到一階邏輯 ... ... <看更多>

提供imply數學相關PTT/Dcard文章，想要了解更多若則關係、邏輯雙箭頭、If and onlyif有關歷史與軍事文章或書籍，歡迎來你不知道的歷史故事提供您完整相關訊息. ... <看更多>

提供imply數學相關PTT/Dcard文章，想要了解更多若則關係、邏輯雙箭頭、If and onlyif有關歷史與軍事文章或書籍，歡迎來你不知道的歷史故事提供您完整相關訊息. ... <看更多>

引述《greprep (烤啦！)》之銘言： : 最近讀數學邏輯教到tautologically imply這個概念，教科書寫的定義我不是很懂， : 教授解釋也不清楚，想問一下。 ... <看更多>

... Grant 曾經說過：Unclear writing implies unclear thinking. 如果我們中文也說得不清楚或不合邏輯，英文寫作當然反映的只是整體寫作表達的問題。 ... <看更多>