二、已知:(1)会朗读的人是识字的;(2)海豚都不识字;(3)有些海豚是很聪明的.求证:有些很聪明的东西不会朗读.
题目
二、已知:(1)会朗读的人是识字的;(2)海豚都不识字;(3)有些海豚是很聪明的.求证:有些很聪明的东西不会朗读.
要求:用谓词逻辑描述问题;化为子句集;用归结法证明.
作业,对对答案,呵呵.
答案
由(1)知:会朗读的东西真包含于识字的东西.
由(2)知:海豚与识字的东西无交集,
由(1)(2)得到,海豚与会朗读的无交集.(4)
由(3)知:海豚与聪明有交集.海豚真包含于东西,设交集为(5)
论证(5)真包含于聪明的东西,
由(4)(5)问题得证.
举一反三
我想写一篇关于奥巴马的演讲的文章,写哪一篇好呢?为什么好
最新试题
- 两根长直导线电流方向相同,将它们平行地放在一起,它们之间力的作用使他们相吸还是相斥.
- 某件衬衫促销,买一送一,小明的妈妈买了4件,那么每件的实际价格是原价的百分之几?
- 下图是一个边长为100米的正三角形,甲自A点,乙自B点同时出发同时按顺时针方向沿三角形的边行走.
- 在△ABC中,若∠ACB=90°,CD⊥AB,垂足为D,且AC=12,BC=5则AD:BD等于?
- The teacher let him (answer) the question in English 适当形式填空
- 八年级下册分解因式练习题解答
- 关于少年是祖国的希望的名言
- 将下列单词换一个字母成为另一个单词
- "十万个为什么"帮我用英语翻译下!
- 已知直线l经过两条直线2x+y-8=0和x-2y+1=0的交点,且垂直于直线6x-8y+3=0,求直线l的方程.
热门考点