数学离散数学

数学离散数学

ID:10416781

大小:308.85 KB

页数:41页

发布时间:2022-09-09 01:50:31

数学离散数学_第1页
数学离散数学_第2页
数学离散数学_第3页
数学离散数学_第4页
数学离散数学_第5页
资源描述:

上节课的内容 谓词 一元谓词 n元谓词 量词 全称量词  存在量词  量词的辖域 自由变元与约束变元 约束变元的改名规则 第1页/共41页 谓词演算的永真公式 第2页/共41页 谓词等价的定义 定义 1: 两个任意谓词公式A和B, E是它们公有的论述域, 若 (1) 对公式A和B中的谓词变元, 指派以任一在E上有定义的确定的谓词。 (2) 对谓词命名式中的个体变元, 指派以E中的任一确定的个体。 所得的命题都具有同样的真值, 则称公式A和B遍及E等价

当前文档最多预览五页,下载文档查看全文

此文档下载收益归作者所有

当前文档最多预览五页,下载文档查看全文
温馨提示:
1、本文档共41页,下载后即可获取全部内容。
2、此文档《数学离散数学》由用户(shenlanwa)提供并上传付费之前 请先通过免费阅读内容等途径辨别内容,本站所有文档下载所得的收益全部归上传人(卖家)所有:如有侵权或不适当内容,请进行举报或申诉。
3、所有的PPT和DOC文档都被视为“模板”允许上传人保留音节日灵结构的情况下删减部份的内容,下裁前须认直查看,确认无误后再购买。
4、开云手机版APP下载网仅提供信息存储空间,仅对用户上传内容的表现方式做保护外理,无法对各卖家所售文档的直实性,完整性,准确性以及专业性等问题提供审核和保证,请谨慎购买。
5、本站文档的总页数,文档格式和文档大小以系统显示为准(内容中显示页数不一定正确),网站客服只以系统显示页数,文件格式,文档大小作为仲裁依据。

文档提供

发布者:shenlanwa

上传时间:2022-09-09 02:06:14

认证主体:s********(个人认证)

IP归属:中国 上海

相关标签

文档提供

发布者:shenlanwa

上传时间:2022-09-09 02:06:14

认证主体:s********(个人认证)

IP归属:中国 上海

相关标签