标签:连用 量词 可以 精华版 离散数学 命题逻辑 集合 易懂 任意
**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
本站声明: 1. iCode9 技术分享网(下文简称本站)提供的所有内容,仅供技术学习、探讨和分享; 2. 关于本站的所有留言、评论、转载及引用,纯属内容发起人的个人观点,与本站观点和立场无关; 3. 关于本站的所有言论和文字,纯属内容发起人的个人观点,与本站观点和立场无关; 4. 本站文章均是网友提供,不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属;如您发现该文章侵犯了您的权益,可联系我们第一时间进行删除; 5. 本站为非盈利性的个人网站,所有内容不会用来进行牟利,也不会利用任何形式的广告来间接获益,纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。