x:人(动物);R(x):x能阅读;W(x):x是识字的;C(x):x是聪明的,D(x):x是海豚
1.(∨x)(R(x)->W(x))
2.(∨x)(D(x)->~W(x))
3.(ヨx)(D(x)∧C(x))
需证明的结论:(ヨx)(C(x)∧~W(x))
证明:
⒈(ヨx)(D(x)∧C(x)) P
⒉D(y)∧C(y) ∨-
⒊(∨x)(D(x)->~W(x)) P
⒋D(y) T(2)
⒌C(y) T(2)
W(y) T(3,4)
W(y)∧C(y) 5,6合并
⒏(ヨx)(C(x)∧~W(x)) ∨+
不知为什么证明的时候第一个命题没有用上.
一道离散数学中谓词逻辑方面的题、
一道离散数学中谓词逻辑方面的题、
设已经:1、能阅读的人(动物)是识字的;2、海豚不识字;3、有些海豚是聪明的.证明:有些很聪明的人(动物)不识字.请把以上1、2、3、事实用谓词逻辑表示下,然后推导出最后结论,过程最好清晰一些,
设已经:1、能阅读的人(动物)是识字的;2、海豚不识字;3、有些海豚是聪明的.证明:有些很聪明的人(动物)不识字.请把以上1、2、3、事实用谓词逻辑表示下,然后推导出最后结论,过程最好清晰一些,
数学人气:354 ℃时间:2019-09-17 16:29:51
优质解答
我来回答
类似推荐
猜你喜欢
- 1有12吨煤,第一次运走它的4分之1,第2次又运走2分之1吨,这时还剩多少?
- 2若函数y=3x-1函数y=x-k的图像的交点在第四象限,则k值=?
- 3比较大小:3的30次方;4的20次方;5的10次方?
- 4有一只标有“2.5V,0.3A”字样的小灯泡接在2.5V的电路中,灯泡的实际电功率多大?(假设灯丝电阻没有改变)
- 5根据图提示,计算(1.)根号2+根号8 (2)根号8+根号32 (3)根号32+根号128
- 6Tom came to school as early ( )
- 7英语翻译
- 8描写景物的作文最少要有5种修辞 300字左右 谢谢描写景物的作文最少要有5种修辞 300字左右
- 9把500毫升的碳酸氢铵与碳酸钠的混合溶液分为五等份,取一份加入含a摩尔的氢氧化钠溶液,完全反应,再取一
- 10“了”在汉语句子中是什么词性