命题逻辑习题课PPT课件_第1页
命题逻辑习题课PPT课件_第2页
命题逻辑习题课PPT课件_第3页
命题逻辑习题课PPT课件_第4页
命题逻辑习题课PPT课件_第5页
已阅读5页，还剩3页未读， 继续免费阅读

下载本文档

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

文档简介

一 选择题 1 设p 我们划船 q 我们跑步 命题 我们不能既划船又跑步 符号化为 A p qB p qC p q D p q2 设p 我将去镇上 q 我有时间 命题 我将去镇上 仅当我有时间时 符号化为 A p qB q pC p qD q p3 下列语句中哪个是真命题 A 我正在说谎B 严禁吸烟C 如果1 2 3 那么雪是黑的D 如果1 2 5 那么雪是黑的 B A D 1 4 下面哪个联结词运算不可交换 A B C D 5 命题公式p q r的对偶式为 A p q r B p q r C p q r D p q r 6 命题公式 p p q q是 A 矛盾式B 蕴含式C 重言式D 等值式7 下面哪一组命题公式是等值的 A p q p qB a b a a a b C q p q q p q D a a b b B D C B 2 8 下面哪一个命题是假命题 A 如果2是偶数 那么一个公式的析取范式唯一B 如果2是偶数 那么一个公式的析取范式不唯一C 如果2是奇数 那么一个公式的析取范式唯一D 如果2是奇数 那么一个公式的析取范式不唯一9 命题公式 p q r的主析取范式中含极小项的个数为 A 8B 3C 5D 010 下面4个推理定律中 不正确的是 A A A B B A B A BC A B A BD A B B A A C A 3 二 填空题 1 对于下列各式 是永真式的有 1 p p q q 2 p p q 3 q p q 4 p p q q 5 p q q2 命题公式p q r 的成真赋值为 成假赋值为 1 2 4 010 100 101 110 111 000 001 011 4 3 公式的 p q r的对偶式为 4 已知公式A P Q R 的主合取范式为M0 M3 M5 它的主析取范式为 写成编码形式 5 一个命题公式A p q r 的成真指派为000 001 010 100 110 则其主合取范式为 p q r m1 m2 m4 m6 m7 p q r p q r p q r 5 三 应用题 甲 乙 丙 丁4个人有且仅有2个人参加围棋优胜比赛 关于谁参加比赛 下列4种判断都是正确的 1 甲和乙只有1人参加 2 丙参加 丁必参加 3 乙或丁至多参加1个人 4 丁不参加 甲也不会参加 请推出哪2个人参加了围棋比赛 6 解 首先符号化命题 设A 甲参加了比赛 B 乙参加了比赛 C 丙参加了比赛 D 丁参加了比赛 依题意有 1 甲和乙只有1人参加 符号化为 A B A B 2 丙参加 丁必参加 符号化为 C D3 乙或丁至多参加1个人 符号化为 B D 4 丁不参加 甲也不会参加 符号化为 D A 主析取范式或真值表求解 甲 丁参加围棋比赛 7 四 证明题 1 用CP规
人人文库> 全部分类> 教育资料 > 课件下载

温馨提示

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

最新文档

评论

0/150

提交评论