基于https://blog.csdn.net/aiqq136/article/details/113445181这篇文章做的一些笔记,精简了原文的一些内容
文章目录
课时一 命题逻辑的基本概念
- 命题:能判断其真值的陈述句.
- 真值:真、假.(1、0)
- 真命题:真值为真的命题.
- 假命题:真值为假的命题.
- 原子命题(简单命题):不能再被分解成更简单的命题.
- 复合命题:由简单命题通过联结词联结而成的命题.
判定给定句子是否为命题,应该分两步:
① 首先判定它是否为陈述句.
② 其次判断它是否有唯一真值
题 1.下列语句中,下面哪一个选项是命题?()
我正在说谎.
解释:因为无法确定真假,所以不是命是
原因是,如果这话是真的,那么我就不是现在说谎的人。其间我说了那句话不管什么内容成为是假的了,这与假定是真的相矛盾又,如果这话是假的,那么我现在不是说真话的人。其间我说了这句话,不管什么内容成为是真的,这与假定是假的相矛盾。
课时二:命题逻辑等值演算
3. 主析取范式与主合取范式
在含有n个命题变元的简单合取式(简单析取式)中,若每个命题变元和它的否定式恰好
出现一个且仅出现一次,而且命题变元或它的否定式按照下标从小到大顺序排列,称这
样的简单合取式(简单析取式)为极小项(极大项).
4. 联结词的完备集
设S是一个联结词集合,如果一个命题公式都可以由仅含S中的联结词构成的公式表示,则称S是一个联结词完备集.
课时三:命题逻辑的推理理论
- 推理的相关公式
课时四 谓词逻辑基本概念
课时五谓词逻辑等值演算与推理
课时六集合代数
课时七二元关系(1)
课时八二元关系(2)
课时九 函数
课时十 代数结构
课时十一图的基本概念
课时十二欧拉图与哈密顿图
课时十三 树
课时十四平面图