【离散数学】10小时学完离散数学|讲授20年离散数学【慕课】
蓝色的是倒装，前面的是结果
优先级
常用等价公式
基本思路
数理逻辑：命题逻辑（二） P2 - 14:30
数理逻辑：命题逻辑（二） P2 - 15:57
数理逻辑：命题逻辑（二） P2 - 17:58
两个量词
数理逻辑：谓词逻辑（一） P3 - 09:10
先消前面的
自由变元和约束变元
判断公式的类型
数理逻辑：谓词逻辑（一） P3 - 31:38
基本等价关系
(第4点只有是正确的量词符号才可以变化）
题目
