数理逻辑部分1章练习题参考答案2018_第1页
数理逻辑部分1章练习题参考答案2018_第2页
数理逻辑部分1章练习题参考答案2018_第3页
数理逻辑部分1章练习题参考答案2018_第4页
全文预览已结束

下载本文档

版权说明：本文档由用户提供并上传，收益归属内容提供方，若内容存在侵权，请进行举报或认领

文档简介

离散数学第1章练习题参考答案2017年一、填空题1. 设命题公式，则G的成真赋值是 100 、 101 、 111 .2. 已知命题公式，则G的析取范式为.3. 设为两个命题公式，当且仅当，当且仅当.4. 已知命题公式的主合取范式为，则它的主析取范式为.5. 已知命题公式的成真赋值为000,001,010,100,110，则其主合取范式为.二、选择题1. 设命题公式，则使G的真值为1的p，q的取值是 （ C ）（A） 00 （B） 01 （C） 10 （D） 112. 与命题公式等值的公式是 （ B ）（A） （B） （C） （D）3. 命题公式是 （ A ）（A）永真式 （B）永假式 （C）非永真式的可满足式 （D）合取范式4. 设命题公式，则G与H的关系是 （ D ）（A） （B） （C） （D）5. 下列重言蕴涵式中，不正确的是 （ C ）（A） （B） （C） （D）三、计算题1. 将下列命题符号化（1）李强不是不聪明，而是不用功 （2）如果天不下雨，我们就去郊游解 （1）设p：李强聪明，q：李强用功.原命题符号化为：（2）设p：天下雨，q：我们去郊游.原命题符号化为：2.给出下列公式的真值表（1）（2）解略.3. 设命题变项为1， 为0，试求出下列命题的真值（1） （2）解 （1）（2）4. 判断下列公式的类型（1） （2）解 用真值表知（1）是重言式，（2）是可满足式.5. 求命题公式的主合取范式，并求其成假赋值.解 用真值表可得.真值为0的赋值有三种：001，100，110.6. 求命题公式的主合取范式与主析取范式.解 用真值表法可知四、证明题1. 用等值演算法证明为重言式.证 原式2. 构造下列推理的证明（1）前提：，结论：；（2）前提：，结论：；(3) 前提：，结论：.证 （1）用归谬法证明 结论的否定引入 前提引入 假言推理 前提引入 拒取 前提引入 析取三段论 前提引入 假言推理 合取得出矛盾，因此，是前提的有效结论.（2） 前提引入 前提引入 析取三段论 前提引入 前提引入 合取 拒取 合取
人人文库> 全部分类> 行业资料 > 管理策划

温馨提示

  • 1. 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等，如果需要附件，请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸，网页内容里面会有图纸预览，若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对用户上传分享的文档内容本身不做任何修改或编辑，并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

最新文档

评论

0/150

提交评论