华东师范大学离散数学章炯民课后习题第3章答案_第1页
华东师范大学离散数学章炯民课后习题第3章答案_第2页
免费预览已结束，剩余1页可下载查看

下载本文档

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

文档简介

1.下列语句哪些是命题？（1）2是正数吗？（2）x2+x+1=0。（3）我要上学。（4）明年2月1日下雨。（5）如果股票涨了，那么我就赚钱。解：(1)不是(2)不是(3)不是(4)是(5)是2.判断下列命题的真值：（1）若1+1=3，则2+2=4（2）若鸟会飞，则1+1=3解：(1)1(2)011.将下列两个命题符号化，并分别用真值表和等值演算的方法证明所得到的那两个命题公式是等值的。（1）你不会休息所以就不会工作，你没有丰富的知识所以你就不会工作；（2）你会工作所以一定会休息并具有丰富的知识。解：设p：你会休息，q:你会工作，r:你有丰富的知识。原命题符号化为(1)(pq)(rq)(2)q(pr)12.（1）用等值演算的方法证明命题恒等式p(qp)=p(pq)。13.构造一个只含命题变量p、q和r的命题公式A，满足：p、q和r的任意一个赋值是A的成真赋值当且仅当p、q和r中恰有两个为真。解：(pqr)(pqr)(pqr)14.通过等值演算求p(p(qp))的主析取范式和主合取范式。解：主析取范式：(pq)(pq)(pq)(pq)主合取范式不存在15.一教师要从3名学生A、B和C中选派1～2人参加市级科技竞赛，需满足以下条件：（1）若A去，则C同去；（2）若B去，则C不能去；（3）若C不去，则A或B可以去。问该如何选派？解：为此问题建立数学模型。有三个方案：仅C去，仅B去，仅A和C去16.证明{,}是功能完备集。17.（1）证明p(qs),q,prrs。证明：1pr

前提引入2r

附加前提引入3p

①②析取三段4p(qs)

前提引入5qs

③④假言推理6q

前提引入7s

假言推理19.构造下列推理的形式证明：“今天下午没有出太阳并且今天比昨天冷。只有今天下午出太阳，我们才去游泳。若我们不去游泳，则我们乘独木舟游览。若我们乘独木舟游览，则我们在黄昏时回家。所以，我们在黄昏时回家。”解：设p:今天下午出太阳,q:今天比昨天冷,r:我们去游泳m:我们乘独木舟游览,n:我们在黄昏时回家命题符号化为：前提：pq,rp,rm,mn结论：n证明：1pq

前提引入2p

化简3rp

前提引入4r

拒取式5rm

前提引入6m

假言推理7mn

前提引入8n

假言推理补充：1.将当当网的图书高级搜索符号化：/AdvanceSearch/AdvanceSearch.aspx?c=0解：p:书名q:著译者r:ISBN

s:折扣t:定价u:当当价v:出版时间w:出版时间符号化为：pqrstuvw2.请将语句“除非你已满16周岁，否则只要你身高不足1.2米就不能乘公园的滑行铁道”。解：设p:你已满16岁，q:你身高足1.2米，r:你能乘公园的滑行铁道命题符号化为：(pq)r3.p、q、r为如下命题：p：你得流感了q：你错过了最后的考试r：这门课你通过了请用自然语言表达命题(pr)(qr)。解：（1）如

人人文库> 全部分类> 教育资料 > 辅导培训

温馨提示

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

最新文档

评论

0/150

提交评论