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))
需證明的結(jié)論:(ヨ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)) ∨+
不知為什么證明的時候第一個命題沒有用上.
一道離散數(shù)學(xué)中謂詞邏輯方面的題、
一道離散數(shù)學(xué)中謂詞邏輯方面的題、
設(shè)已經(jīng)：1、能閱讀的人（動物）是識字的；2、海豚不識字；3、有些海豚是聰明的.證明：有些很聰明的人（動物）不識字.請把以上1、2、3、事實用謂詞邏輯表示下,然后推導(dǎo)出最后結(jié)論,過程最好清晰一些,
設(shè)已經(jīng)：1、能閱讀的人（動物）是識字的；2、海豚不識字；3、有些海豚是聰明的.證明：有些很聰明的人（動物）不識字.請把以上1、2、3、事實用謂詞邏輯表示下,然后推導(dǎo)出最后結(jié)論,過程最好清晰一些,
數(shù)學(xué)人氣：778 ℃時間：2019-09-17 16:29:51
優(yōu)質(zhì)解答
我來回答
類似推薦
- 離散數(shù)學(xué)的謂詞邏輯題目
- 謂詞邏輯問題
- 問一個關(guān)于離散數(shù)學(xué)謂詞邏輯（一階邏輯）的問題￥.
- 離散數(shù)學(xué)問題,謂詞邏輯問題,求解,謝謝!
- 幫我解離散數(shù)學(xué)的一條邏輯謂詞證明題
- can you point out the country___ the map of the world?
- 1·買三種水果30千克,共用去80元,其中蘋果每千克4元,橘子每千克3元,梨每千克2元,問三種水果各買多少
- 三棵樹上停著24只鳥,從第一棵飛4只到第二棵,再從第二棵飛5只到第三棵,則三棵樹的鳥都相等.
- 英語高中定語從句 Nobody knows the reason that Matt refused to go to the party
- 如圖 已知三角形abc中,角ABC=90度,AB=BC,三角形的頂點在相互平行的三條直線L1、L2、L3上,且L1、L2間距離為2,L2、L3間距離為3,側(cè)三角形ABC的面積為/
- 誰能教我一些關(guān)于比例尺的填空題,
- he has s____ some p____ to his friends .
猜你喜歡
- 1已知關(guān)于x,y的方程5x的3m+7次方-3y的2n-3次方等于4,是二元一次方程,則m=?,n=?
- 2設(shè)A=1/2^10+1/（2^10+1）+1/（2^10+2）+...+1/（2^11+1）,則A與1的大小關(guān)系為?
- 3尊嚴(yán)（節(jié)選） 只有一個人例外,這是一個臉色蒼白、瘦骨如柴的年輕人.當(dāng)鎮(zhèn)長杰克遜大叔將食物送到他面前時
- 4三峽三期圍堰爆破拆除成功后,三峽大壩全線擋水,一代偉人_在幾十年前曾經(jīng)描繪的景觀"_"終于展現(xiàn)在我們眼前
- 5How long win the meeting last ,
- 6x等于七x(xy為非零自然數(shù)）,那么x,y的最大公因數(shù)是?最小公倍數(shù)?
- 7為什么說：在化學(xué)變化中,分子可以再分,原子不可以再分、 為什么要強(qiáng)調(diào)化學(xué)變化?物理變化又是怎樣?到底是怎么回事?
- 8要使10分之x是真分?jǐn)?shù),9分之x是假分?jǐn)?shù),x應(yīng)為（ ）?
- 9一筆錢,只買文具盒可買200個,只買圓珠筆600個,每人1個文具盒,2個圓珠筆,可買多少文具盒
- 10寫出一個滿足下列條件的函數(shù)：（1）它的圖像是經(jīng)過原點的一條直線（2）y隨x的增大而增大
- 11有哪些關(guān)于形容成績好的詞匯?
- 12一個長方體玻璃魚缸長4分米,寬3分米,魚缸內(nèi)有水,水面離缸口3厘米