《離散數學教程》耿素雲，屈婉玲，王捍貧，北京大學出版社
《數理邏輯——離散數學第一分冊》王捍貧，北京大學出版社
參考書《離散數學習題解析》耿素雲，屈婉玲，王捍貧 北京大學出版社 2023年
《面向電腦科學的數理邏輯》陸鐘萬 北京大學出版社 1989（第二版 科學出版社 1998）
《電腦科學中的邏輯學》王元元 科學出版社 1989
《數理邏輯》（原名：logic for mathematicians; 【為數學家寫的數理邏輯】）哈密爾頓，朱水林譯 華東師大出版社 1986
《a mathematical introduction to logic(2ed edition)》h. b. enderton 2001
邏輯數理的參考書非常多，挑數的時候不要挑選冠名是「離散數學的邏輯數理」的參考書（北京大學這本除外），這樣的書大多比較淺顯，邏輯容易混淆；盡量挑以「數理邏輯命」名的書籍。
什麼是數理邏輯
離散數學 數理邏輯
命題邏輯的基本概念 1.什麼是命題？存在唯一真值的陳述句。2.邏輯運算 設p為一命題，則復合命題 p為p的否定。規定 p為真當且僅當p為假。設p,q為兩個命題，則復合命題p，q的合取式用p q表示。規定p q為真當且僅當p，q同時為真。設p,q為兩個命題，則復合命題p，q的析取式用p q表示。規定p...
離散數學 數理邏輯
斷言 陳述語句。命題 非真即假的斷言。悖論 不能判斷真假的斷言。不是命題。原子命題 本原命題 乙個命題，不能分解成更簡單的命題。命題聯接詞 否定詞 合取詞 析取詞 蘊含詞 等值詞 特別 蘊含詞 p q的真值表特例 0 11 由蘊含詞引出 逆命題，反命題，逆反命題的概念。命題變元和命題公式 命題變元 ...
離散數學 數理邏輯
一 命題公式 屬性 永真式 重言式 任何真值指派都為真 可滿足式 存在一組真值指派為真 永假式 矛盾式 任何真值指派都為假 判定方法 1 真值表法 2 化成主析取表示式 mi 主合取表示式 mi 3 命題符號化並且化簡邏輯表示式 二 有效結論 1 有效結論的定義 前提 結論 前提為真，或結論為假，二...