一道离散数学中谓词逻辑方面的题、
设已经:1、能阅读的人(动物)是识字的;2、海豚不识字;3、有些海豚是聪明的.证明:有些很聪明的人(动物)不识字.请把以上1、2、3、事实用谓词逻辑表示下,然后推导出最后结论,过程最好清晰一些,
人气:358 ℃ 时间:2019-09-17 16:29:51
解答
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)) ∨+
不知为什么证明的时候第一个命题没有用上.
推荐
- 离散数学的谓词逻辑题目
- 谓词逻辑问题
- 问一个关于离散数学谓词逻辑(一阶逻辑)的问题¥.
- 离散数学问题,谓词逻辑问题,求解,谢谢!
- 帮我解离散数学的一条逻辑谓词证明题
- 一块120公顷的麦地,一台收割机前3.5小时收割了x/8,照这样的速度,这块地要多少小时才能收割完?
- I want to study hard,come on.Believe they will succeed!
- 烧绳子计时,一端点火,每根绳子8分钟.只能用3根绳子 11分钟怎么烧,
猜你喜欢