樹狀圖根據真值表定義了「消除符號」(elimination),當多個語句被運算子連接成一個語句,可以運用消除符號進行簡化。 ... 關鍵字#成大模組化#語句邏輯#命題邏輯#若P則Q ...
確定! 回上一頁