下载本文档
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、1,1.2命题公式和赋值,命题变量项和求和公式公式的赋值真值表命题的分类中言式矛盾式满足,2,命题变量项和求和公式,命题常数:由真值确定的简单命题。命题变量:真值不确定的陈述。命题变量项不是命题!联合公式:将命题常数和命题变项与连接词和括号绑定在一起的符号字符串。注意:3定义联合公式(命题公式,公式)如下:(1)如果单个命题常数或变量p,q,r,(2) a是求和公式,(a)也是求和公式。(3)如果A,B是联式公式,则(AB),(AB),(AB),(AB)也是联式公式。(4)有限,只有(1)(3)形成的符号字符串是并集公式。说明:可以省略最外面的括号。4,联式公式的阶层,定义(1) A为单一命题
2、变数或常数时,A称为零层公式。(2) A被称为n 1(n0)层公式,是以下之一:(A) A (b) A=BC。其中B,C分别是I层和j层公式,n=max (I,j);(c) A=BC,其中B,C的级别和n相同(B);(d) A=BC,其中B,C的级别和n相同(B);(e) A=BC,其中B,C的级别和n为(B)。等于,5。另一个示例使公式成为实际分配(p q) r)s (p q r )s(p q r) s (p1,p2,pn公式的级别)(实际分配:使公式成为实际分配)。假分配:使公式变为假。7,描述:指定=12n之间没有标点符号,i=0或1。a中仅显示p1、p2、pn。分配给a 12n查找P1=分配,字典顺序,2n,8,真值表,真值表构建步骤:1)公式中包含的所有命题变量项,列出所有可能的分配。2)写从低到高的所有级别。3)与每个分配匹配,然后计算公式中每个层次结构的值,直到最后计算公式中的值。真值表:列出公式A从所有分配中接收值的情况的表,9,示例1.8求出以下公式中的真值表,0 0,0 1,1,1,1,0,1,0,0:0,0,0,0,0,0,0,0,0,0,0,11,(3) c=(pq) r,0 0 0 0在上例中,A=(qp)qp,B=(pq)q,C=(pq)r A是中言表达式
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 支气管扩张查房讨论
- 拍背护理查房
- 护理质控查房
- 2024年MXene材料行业分析报告
- 健康管理师模拟测试题(四)【附答案】
- 走进生活,感知数学 论文
- 李琳地理探究式教学:类型、模式及其应用7.26
- 2024年03月国家林业和草原局机关服务局2024年面向社会公开招聘7工作人员51笔试参考题库附带答案详解
- 节约用水条例
- 2024年02月山东省精神卫生中心工作人员招考聘用13人笔试参考题库附带答案详解
- (2023)家庭教育指导师基础知识考试100题及解析
- 2023版押品考试题库必考点含答案
- 民办学校教师工资
- 广告管理条例
- 高职院校大学档案管理归类清单大全
- 中科院应化所考博真题高等物理化学及答案
- 2000-2023年全国中学生生物学联赛试题和答案解析(生物化学部分)
- 2022语文课程标准解读与思考:“思辨性阅读”问题设计策略谈
- 绘本:《我和我妈妈》
- Unit 3 The World Meets China Understanding ideas -高中英语外研版选择性必修第四册
- 【民宿空间设计(论文)6200字】
评论
0/150
提交评论