问题标题：
一道离散数学中谓词逻辑方面的题、设已经：1、能阅读的人（动物）是识字的；2、海豚不识字；3、有些海豚是聪明的.证明：有些很聪明的人（动物）不识字.请把以上1、2、3、事实用谓词
问题描述：
一道离散数学中谓词逻辑方面的题、
设已经：1、能阅读的人（动物）是识字的；2、海豚不识字；3、有些海豚是聪明的.证明：有些很聪明的人（动物）不识字.请把以上1、2、3、事实用谓词逻辑表示下,然后推导出最后结论,过程最好清晰一些,
白玉洁回答：
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))∨+
不知为什么证明的时候第一个命题没有用上.
点击显示
数学推荐
热门数学推荐