**P1**命题逻辑的基本概念

虽然是不确定 但是可以是命题 就是无法判断真假

• 优先级

P2命题逻辑等值演算

第一种方法: 真值表求

第二种 用等值演算求

P3命题逻辑推理理论

下面给出例题 后面的可以写成 前提引入 T1 2



下面给出反证法

附加前提证明:

P4谓词逻辑**
例
二. 量词 任意与→连用 ; 存在与且连用
例



自由变元


但是量词否定不一样例
否定前移 任意或存在的量词变下



一定是任意对且可以分配
一定是存在对或者可以分配
例

P5代数

P6二元关系

自反的话是任意A中的x
反自反与之相反

只要在R里面必须都有<y,x>
反对称相反

在R里面有他 那么必须他可传递




抽象集合的证明

哈斯图 画法
极大元、极小元不唯一
最大元和最小元唯一:必须是所有元素都得小于或者大于他 下图中 f 不行

**ran(A)**是求得值域 只看{ ,y}y就可以 最后 构成集合{y1,y2}
**dom(A)**是定义域 只看{x, }x就可以 最后 组成集合{x1,x2}

P7图

标签：连用,量词,可以,精华版,离散数学,命题逻辑,集合,易懂,任意
来源： https://blog.csdn.net/weixin_45434902/article/details/106627046