用附加前提證明法
前提：∃x(P(x)→Q(x)),∀xP(x)
結論：∃xQ(x)
證明：
1、∀xP(x)
2、P(a)
3、∃x(P(x)→Q(x))
4、P(a)→Q(a)
5、Q(a)
6、∃xQ(x)
利用一階邏輯推理的方法證明：∃x(P(x)→Q(x)) => ∀xP(x) →∃xQ(x)
利用一階邏輯推理的方法證明：∃x(P(x)→Q(x)) => ∀xP(x) →∃xQ(x)
數(shù)學人氣：120 ℃時間：2020-02-05 08:50:53
優(yōu)質解答
我來回答
類似推薦
- ∀x(P(x) ↔ Q(x)) 和 ∀x P(x) ↔ ∀xQ(x)證明是否邏輯等價
- 離散數(shù)學謂詞邏輯問題：(p->∃xq(x)) -> ∃x(p->q) 請證明該式為重言式
- 由拉格朗日中值定理有e^x-1=xe^xQ(x),其中0
- 當x+y+q=7;xyq=7時;則q/xy+y/xq+x/qy等于多少?
- π分之a(chǎn)是不是單項式
- 2道初二英語填空題,急求
- 用所給單詞適當形式填空 How____(be) the flowers?Beautiful.
- 計劃加工1200個零件,3天完成計劃的60%,平均每天加工多少個零件?
- 將0,1,2,3,4,5,6,7,8,9這十個數(shù)字組成五個兩位數(shù),
- 將4克硫粉跟10克鐵粉混合加熱,能生成硫化亞鐵多少克?哪一種反應物有剩余,剩余幾克?
- 寡人之于國也一詞多義
- 某車間把加工一批零件的任務按5:4分給甲,乙兩人.完成任務時,甲實際加工了360個零件,比原分配任務多加工1/8.這批零件共有多少個?
猜你喜歡
- 1寒冷的冬天呼出氣體后,會看到白霧,出現(xiàn)這種現(xiàn)象的原因是?
- 2空氣對我們很重要的英語作文
- 3張阿姨用112元去買窗簾布,由于窗簾布每米降價1元,因此張阿姨所帶的錢可以比原來多買2米,原來每米多少元?
- 4什么叫電能 作用
- 5什么時候用I were 什么時候用I was
- 6描述人生最經(jīng)典的一句話是什么~
- 7用同樣的2臺抽水機,3小時可以澆地1.2公頃,4臺抽水機1小時可以澆地多少公頃?
- 8若x²+2(a+1)x=16是完全平方式,求a²-2a+1的值
- 9已知I={X|-1≤X≤3},M={X|-1
- 10figure sth.out和figure out sth.的區(qū)別?
- 11高粱桿可以吃嗎
- 12誰可以給我說說I 與U I與R 以及伏安法測電阻中滑動變阻器的作用分別是什么,最好把實驗寫下 thx