一，数理逻辑 １．命题与命题公式 ２．命题逻辑的推理部分 ３．谓词逻辑 二，集合论 １．集合 ２．关系与函数 三，代数结构 １．代数系统的一般概念 ２．格与布尔代数 四，图论 １．图 ２．图的应用
命题及命题公式 命题与命题连接词 重点１．掌握五个命题联结词的运算规律 ２．能对符合命题符号化
命题的基本概念命题必须是陈述句，而且必须能判断真假． 假命题用大写Ｆ或者０来表示 真命题用大写Ｔ或者１来表示 悖论不认为是命题
一个不可拆分的命题称为原子命题 两个命题用联结词连接起来叫做复合命题
命题符号化１．命题符号化分成原子命题的符号化和联结词的符号化 ２．命题常量比如０和ｑ１ ３．如果某个符号不代表特定的命题则成称为命题变元 ４．一般步骤是 找出复合命题的原子命题 用英文字母表示这些原子命题 作一下文字上的翻译让文字更贴近联结词 用合适的命题联结词将英文字母连接起来
命题的联结词命题连接词有否定，合取，析取，条件，和双条件联结词 下与上或（开口向下是与／合取，开口向上是或／析取）
否定联结词 合取联结词合取连接词就是与逻辑
析取联结词 同或异或析取代表的是同或 同或是可以发生的 异或是不可以同时发生的
条件联结词１．用汉语来说就是如果．．．就．．． ２．只有如果是真的时候就是假的结果才是假 ３．如果前面的如果是假的剩下的无论如何都是真的 比如如果我室友是女的，就怎么怎么样，但事实是我的室友是男的，没有直接证明这句话是假的，所以就认为他是真的 ４．什么只有才，除非否则则是前件和后件反过来说在用从左到右的箭头指向
双条件联结词中文是当且仅当
命题公式的等值演算 重点１．会构造命题公式的真值表 ２．能运用演算的基本规律率进行等值演算 ３．掌握命题公式的等值关系与蕴含关系的证明方法
合式公式一定要注意运算优先级（非，与／或，条件／双条件） 和括号必须成对存在
例题一定要区分同或和异或的区别 除非否则句要翻译成如果，就句
成真指派和成假指派如果ｑ和ｐ成真指派用（ＴＴ）这样的方式写， 括号中间用每个命题变元的真假情况去书写
等价或等值其实就是在任何相同情况下两个命题真假相同就说这两个命题等价
证明等价的方法 真值表法（公式异常重要）碰到单条件全部转化成非ｐ析取ｑ
等价演算法（公式）等价置换
只要两个公式是等价的就可以随便替换 两个公式中ａ部分全换成了等价的ｂ那么这两个公式也等价
一般单条件和双条件都要转换成与或非 永真式和永假式设ａ，ｂ两个命题公式，ａ＜＝＞ｂ当且仅当ａ＜－＞ｂ是重言式 设ａ，ｂ两个命题公式，ａ－＞ｂ是重言式则称ａ蕴含ｂ记为ａ＝＞ｂ
蕴涵式公式蕴涵式代表着如果前面成立那他所蕴涵的式子一定成立
联结词完备集 重点１．了解联结词完备集的概念 ２．了解典型的联结词完备集
所有的联结词完备集 最小联结词完备集