下载本文档
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
数理逻辑习题离散数学数理逻辑习题离散数学数理逻辑习题离散数学资料仅供参考文件编号:2022年4月数理逻辑习题离散数学版本号:A修改号:1页次:1.0审核:批准:发布日期:第1章命题逻辑一、单项选择题1.下列命题公式等值的是() 2.设命题公式G:,则使公式G取真值为1的P,Q,R赋值分别是()3.命题公式为()(A)矛盾式 (B)仅可满足式(C)重言式 (D)合取范式4命题公式的主析取范式是(). (A)(B)(C)(D) 5.前提条件的有效结论是(). (A)P (B)P (C)Q (D)Q 6.设P:我将去市里,Q:我有时间.命题“我将去市里,仅当我有时间时”符号化为() 二、填空题 1.设命题公式G:P(QP),则使公式G为假的真值指派是2.设P:我们划船,G:我们跑步,那么命题“我们不能既划船,又跑步”可符号化为3.含有三个命题变项P,Q,R的命题公式PQ的主析取范式是4.若命题变元P,Q,R赋值为(1,0,1),则命题公式G=的真值是5.命题公式PPQ的类型是.6.设A,B为任意命题公式,C为重言式,若,那么是式(重言式、矛盾式或可满足式)三、解答化简计算题1.判别下列语句是否命题?如果是命题,指出其真值. (1)中国是一个人口众多的国家.(2)存在最大的质数.(3)这座楼可真高啊!(4)请你跟我走!(5) 火星上也有人. 2.作命题公式的真值表,并判断该公式的类型.3.试作以下二题:(1)求命题公式(PQ)(PQ)的成真赋值.(2)设命题变元P,Q,R的真值指派为(0,1,1),求命题公式的真值.4.化简下式命题公式 5.求命题公式的主合取范式.6.求命题公式的主析取范式,并求该命题公式的成假赋值.7.求命题公式的真值表.四、证明题1.证明2.构造推理证明: 3.证明命题公式与有相同的主析取范式. 参考答案一、1.C2.D3.B4.A5.D6.B二、1.1,0;1,12.或3.(PQR)(PQR)4.05.非永真式的可满足式6.重言三、1.(1)是命题,真值为1. (2)是命题,真值为0.(3),(4)不是命题.(5)是命题.1.判别下列语句是否命题?如果是命题,指出其真值. (1)中国是一个人口众多的国家.(2)存在最大的质数.(3)这座楼可真高啊!(4)请你跟我走!(5) 火星上也有人.2.命题公式的真值表PQPQ001000011000100011111111原式为可满足式.3.(1)(PQ)(PQ)(PQ)(PQ)(PP)QQ可见(PQ)(PQ)的成真赋值为(0,1),(1,1).(2)4. 5.6.因为成真赋值是(1,0),故成假赋值为(0,0),(0,1),(1,1)7.作真值表 PQPQPQPQ(PQ)(PQ)0001110010101010001101110000四、证明题1.证明①QRP②RP③QT①,②析取三段论④PQP⑤T③,④拒取式⑥PSP⑦S⑤,⑥析取三段论2.构造推理证明:.前提:结论:证明:①R 附加前提②RP 前提引入③P ①,②假言推理④P(QS) 前提引入⑤QS ③,④假言推理⑥Q 前提引入⑦S ⑤,⑥假言推理3.证明命题公式与有相同的主析取范式.证明.方法1.因为两命题公式等值,由主合取范式的惟一性,可知两命题公式的主合取范式是相同.3证明命题公式与有相同的主析取范式. 方法2. 因为它们的主合取范式相同,可知它们的主析取范式也相同.第2章谓词逻辑一、单项选择题1.谓词公式中量词x的辖域是()(A)(B)P(x)(C)(D)2.谓词公式xA(x)xA(x)的类型是()(A)永真式(B)矛盾式(C)非永真式的可满足式(D)不属于(A),(B),(C)任何类型3设个体域为整数集,下列公式中其真值为1的是() (A)(B)(C)(D) 4设L(x):x是演员,J(x):x是老师,A(x,y):x佩服y.那么命题“所有演员都佩服某些老师”符号化为() (A)(B) (C)(D) 5.设个体域是整数集合,P代表xy((xy)(xy0)),下面4个命题中为真的是()(A)P是真命题(B)P是逻辑公式,但不是命题(C)P是假命题(D)P不是逻辑公式 6.表达式中的辖域是()(A)P(x,y)(B)R(x,y)(C)P(x,y)R(x,y)(D)P(x,y)Q(z) 二、填空题1.设个体域D={1,2},那么谓词公式消去量词后的等值式为.2.设个体域D={a,b},公式消去量词化为3.设N(x):x是自然数,Z(y);y是整数,则命题“每
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 河北省保定市中职学校2024年高三语文模拟卷
- 2023-2024年老旧小区改造施工合同样本范本完整版
- 2023-2024年《工程承包合同样本范本范文 》
- 2023-2024年员工试岗7天合同样本书
- 2023-2024年《正规的篮球俱乐部合伙合同样本范本》
- 2023-2024年钢管脚手架、支模架分包合同样本范本完整专业版
- 江苏省无锡市经开区重点达标名校2023-2024学年中考冲刺卷语文试题含解析
- 江苏省无锡市江阴市华士片2024年中考历史对点突破模拟试卷含解析
- 2023-2024年佣金合同样本范本中英文版合同样本范本范本范文
- 8.1 精卵结合孕育新的生命(第二课时)2024学年七年级生物下册同步课堂(苏教版)
- 高考作文审题立意技巧公开课一等奖市赛课一等奖课件
- 语文《活板》教学设计
- 爱国者的故事――徐特立
- 广东省深圳市2022-2023学年高三上学期学业水平信息技术模拟考试试题( 含答案解析 )
- 剧本:骆驼祥子-义助二马
- “邂逅美食乐享烹饪”项目化学习路径 论文
- 高考20天冲刺主题班会PPT
- 烧结危险因素辨识与防范指导
- 2022-2023学年外研版(2019)选择性必修第三册:Unit 2 A lifes work Understanding ideas 教案-
- GB/T 19025-2023质量管理能力管理和人员发展指南
- 2023版思想道德与法治专题4 继承优良传统 弘扬中国精神 第2讲 做新时代的忠诚爱国者
评论
0/150
提交评论