離散數學及其應用 第三章：命題邏輯

命題邏輯 命題 原子命題 複合命題 命題聯結詞 聯結詞的難點 需要注意以下幾點： 命題公式 命題公式的分類 基本等價關係 聯結詞的完備集 公式的標準型---範式 析取範式和合取範式 極大項和極小項 極大項與極小項的編碼 寫主析取範式 命題 具有確切真值的陳述句稱爲命題 原子命題 不能再分解爲更簡單命題的命題 複合命題 可以分解爲更簡單命題的命題 命題聯結詞 聯結詞 記號 否定 ¬ \neg ¬ 合

>>阅读原文<<