一、数理逻辑
1.1 命题逻辑
- 命题：能判断其真假的陈述句。
命题的真值是唯一的。
- 命题联结词（为了符号化 复合命题）：否定、合取、析取、蕴含、等价
- 运算符的优先级：否定、合取、析取、蕴含、等价（优先级依次降低）
- 例题将命题符号化：
- 公式的类型
- 重言式：公式真值恒为1（永真式）
- 矛盾式：公式的真值恒为0（永假式）
- 可满足式：不是矛盾式（重言式也是可满足式）
判断公式的类型：用真值表法
1.2 谓词逻辑
二、集合
三、图论
参考课程：高数叔离散数学
相关文章：
猜你喜欢
相关资源
相似解决方案
热门标签