這門課介紹了三種檢驗語句一致性的方法:真值表(Truth table)、樹狀圖(Truth tree)和直接證明(Direct proof)。真值表 ... 關鍵字#成大模組化#語句邏輯#命題邏輯#若P則Q ...
確定! 回上一頁