離散數學-數理邏輯知識整理

離散數學 文章目錄 離散數學 前言 數理邏輯 命題邏輯 基本概念 聯結詞 命題符號化 基本等價公式 判斷命題公式邏輯等價的方法 求合取範式和析取範式的方法 求出主析取範式的方法 求主合取範式的方法 主範式間的轉換 證明永真（假）的方法 證明蘊含的方法 常用的蘊含式 推理的方法 謂詞邏輯 基本概念 謂詞中的基本等價公式 常用的蘊含關係 化爲前束範式的方法 推理規則 謂詞推理中注意的問題 前言 最近在

>>阅读原文<<