数学逻辑题数理逻辑答案卷2006_第1页
数学逻辑题数理逻辑答案卷2006_第2页
数学逻辑题数理逻辑答案卷2006_第3页
数学逻辑题数理逻辑答案卷2006_第4页
数学逻辑题数理逻辑答案卷2006_第5页
已阅读5页，还剩1页未读， 继续免费阅读

付费下载

下载本文档

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

文档简介

1、2006/2007 年秋季学期数理逻辑试题（ B 卷） 适用班级（0404101 16， 0404201 1-2）一：判别下列各句是否为命题，在括号中回答T 与F1）8 小于 102）8 大于 10（T ）（T ）（F ）（T ）（T ）（T ）（T ）3）期中期中如果如果吸烟，没有考及格了和都考及格了考 90 分，那么也能考 90 分考上当且仅当也能考上8）我正在说谎 9）x 大于 y10）请进来（F（F（F）二：根据题意将下列句子表示成符号公式即： 设域是整数，并以 N（x）表示“x 为非负整数”， E（x）表示“x 是偶数，Q（x）表示“x 是奇数，P（x）表示“x 是素数，请将下列论断

2、写成谓词公式1）存在一个偶数解：x E（x） 2）每个整数是偶数或奇数解：=（PQ）P=（PQ）P=（QP）P=（Q（PP）=QT=T2）请使用逐次指派法证明公式永假（PQ）QP解：=（PQ）QP=（PQP）（QQ P）=FF=F下列公式的1）四.变元与约束变元（12 分）五.对下列命题和谓词变元进行代入1）=BT= TB=B故此简化为：ifBthenxeldey2）.请给出将 1 中程段化简前的流程图TFATFTFBBXY3）请给出将 1 中程段化简后的流程图TFAXY七.根据题意做出推导1）写出下列公式的对偶式与内否式（pq）（qr）（pr）解 ：=（P q）（qr）（pr）=（P q）（qr）（pr）=（P q）（qr）（pr）对偶式为：（Pq）（qr）（pr）内否式为：（ P q）（q r）（p2）写出下列公式的导出规则（8 分）（p（pq）（pq）解 ： =（P（Pq）（pq）r）=（P（Pq）（pq）=（P（Pq）（pq）=（P（Pq）（pq）=（PPq）（pq）=T（pq）=q（pq）=（qp）（）=（qp）（q八.请改正下面程序错误（18 分）根据定义程序可以描述如下： programp：reaf（x）：INAP（x）BODYPouTAP（x，y，z，）WriteEnd（y）4 分）（4 分）（4 分）（4 分）（2 分）找出程序错误点的分数为

人人文库> 全部分类> 教育资料 > 课件下载

温馨提示

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

最新文档

评论

0/150

提交评论