**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图
本网页所有视频内容由 imoviebox边看边下-网页视频下载, iurlBox网页地址收藏管理器 下载并得到。
ImovieBox网页视频下载器 下载地址: ImovieBox网页视频下载器-最新版本下载
本文章由: imapbox邮箱云存储,邮箱网盘,ImageBox 图片批量下载器,网页图片批量下载专家,网页图片批量下载器,获取到文章图片,imoviebox网页视频批量下载器,下载视频内容,为您提供.
阅读和此文章类似的: 全球云计算
官方软件产品操作指南 (170)
