離散數學 謂詞邏輯推理 兩道題目求解答

2025-07-08 17:25:07 字數 3679 閱讀 4796

1樓:

1 ∀x(c(x)→┐b(x))

2 c(y)→┐b(y) 1ui

3 ∀x(a(x)→b(x))

4 a(y)→b(y) 3ui

5 ┐b(y)→┐a(y) 4置換。

6 c(y)→┐a(y) 25假言三段論7 ∀x(c(x)→┐a(x)) 6ug---

1 ∀xc(x)

2 c(y) 1ui

3 ∀(b(x)→┐c(x)

4 b(y)→┐c(y) 3ui

5 ┐b(y) 24拒取式。

6 ∀x(a(x)v b(x))

7 a(y)v b(y) 6ui

8 a(y) 57析取三段論。

9 ∀xa(x) 8ug

求解兩道數字推理題目和一道演繹推理題目

2樓:網友

730後面乙個數等於前面乙個數的三次方加一。

1808和8之間為1倍,8與12之間是3/2倍,12與24之間是4/2倍,就這樣每個數之間增加1/2倍,24與60之間是5/2倍,60的6/2倍是180。

由甲已經賽了4場推出甲與每人都賽過,丁賽了一場就是和甲的,乙賽了三場就是分別和甲丙王巨集的。

所以王巨集賽了兩場。

3樓:網友

第三題:

首先做這樣的理解:每個人都要和其他4個人比賽一次。

然後分析:甲已經賽了4場":甲和每個人都比了,也就是說王巨集和甲比賽了1場了。

丁賽了1場":結合上面的,丁只能是和甲比賽了,也就是說王巨集沒有和丁比賽。

乙已經賽了3場":結合上面的,因為丁肯定沒有和乙比賽,所以乙和除了丁之外的所有人都比賽過了,也就是說王巨集和乙比賽過了。

丙已經賽了2場":結合上面,這兩場比賽分別是和甲和乙的比賽,也就是說王巨集沒有和丙比賽。

綜上:王巨集賽了2場。

兩道題目求解答

4樓:

1. 佣金合同按」勞務報酬「繳納個人所得稅(屬於0-20000那一段,稅率為20%,速算扣除數為0):

20000*(1-20%)*20%=3200(元)僱傭合同按」工資薪金「繳納個人所得稅(屬於9000-35000那一段,稅率為25%,速算扣除數為1005,不考慮五險一金等費用):

20000-3500)*25%-1005=3120(元)因此,選擇」僱傭合同「繳稅較少。

2. 雙方可約定,兩房建好後,甲可以取得自己所屬房屋部分的土地使用權。

理由:取得相應價款,同時徵收土地增值稅、個人所得稅、營業稅。

離散數學的謂詞邏輯推理

5樓:網友

任何一本談謂詞邏輯的書均有量詞轉化法則!

1)(∃x)(p(x)∧(y)(r(x,y)→l(x,y)))p(p規則)

2) p(a)∧(y)(r(a,y)→l(a,y)) t(t規則) (1) es(存在指定規則)

3)p(a) t(2)

4) (y)(r(a,y)→l(a,y)) t(2)

5) (x)(p(x)→(y)(q(y)→┐l(x,y)))p

6) (p(a)→(y)(q(y)→┐l(a,y)))t(5) us(全稱指定規則)

7) (y)(q(y)→┐l(a,y)))t(3)(6)

8) (r(a,b)→l(a,b)) t(4) us

9) (q(b)→┐l(a,b)))t(7) us

10)l(a,b)→┐q(b) t(9)

11)r(a,b)→┐q(b) t(8) (10)

12)┐r(a,b)∨┐q(b) t(11)

13) (y)┐(r(y,b)∧q(b)) t(12) eg(存在推廣規則)

14) (x)(∃y) (r(y,x)∧q(x)))t(13) ug(全稱推廣規則)

15) ┐x)(∀y)(r(y,x)∧q(x)) t(14)

兩道離散數學的題目

6樓:zzllrr小樂

18題(1)

r=s=r∘s= 分別由r中的<1,2>,s中的<2,0> ,及r中的<2,3>,s中的<3,1>得到。

s∘r= 分別由s中的<2,0> ,r中的<0,1>,<0,0>及s中的<3,1>,r中的<1,2>得到。

r²=r³=

12題用關係的集合的定義來證明即可。

求兩道大一的離散數學題的答案!要交作業的……

7樓:

以下以a代表全稱量詞,e代表存在量詞。

1、前提:ax(f(x)→g(x)),ex(h(x)∧f(x))結論:ex(h(x)∧g(x))

證明:(1)ex(h(x)∧f(x)) 前提引入(2)h(c)∧f(c) (1)ei

3)h(c) (2)化簡。

4)f(c) (2)化簡。

5)ax(f(x)→g(x)) 前提引入(6)f(c)→g(c) (5)ui

7)g(c) (4)(6)假言推理。

8)h(c)∧g(c) (3)(7)合取(9)ex(h(x)∧g(x)) 8)eg2、f(4)=<5,4>,f(-3)=<-2,3>f是單射。因為若f(x)=f(y),則=,所以x+1=y+1,得x=y

f不是滿射。因為|x|≥0,所以z×z中的有序對的第二元素若為負數,則在z中沒有元素與其對應。

離散數學問題,謂詞邏輯問題,求解,謝謝!

8樓:

以a代表全稱量詞,e代表存在量詞,┐為否定聯結詞 。

f(x):x怕困難,g(x):x會獲得成功,h(x):x失敗前提:ax(f(x)→┐g(x)),ax(g(x)∨h(x)),ex(┐h(x))

結論:ex(┐f(x))

證明:1 ex(┐h(x))

2 ┐h(c) 1ei

3 ax(g(x)∨h(x))

4 g(c)∨h(c) 3ui

5 g(c) 24析取三段論。

6 ax(f(x)→┐g(x))

7 f(c)→┐g(c) 6ui

8 ┐f(c) 57拒取式。

9 ex(┐f(x)) 8eg

離散數學的一階邏輯推理題,題目如下:

9樓:網友

我不知道自然推理系統中有什麼符號、什麼規則,但推理的道理應該是基本一致的。

定義謂詞:a(x):x是有意義的命題;

b(x):x是分析的命題;

c(x):x是原則上可以證偽的命題;

d(x):x是宗教命題;

我用符號【@】分別表示【全稱量詞】;那麼:

前提:(1):@x(a(x)∧¬b(x)→c(x));

2):@x(d(x)→(b(x)∧¬c(x));

結論:(0):@x(d(x)→¬a(x));

其實,由於本題只涉及全稱量詞,而且只有乙個變元,所以,完全可以用命題邏輯的方法解決:

1):a∧¬b→c;

2):d→¬b∧¬c;

證明:根據(1)

【¬a∧¬b)∨c】

【(a∨b)∨c】

【(b∨c)∨¬a】

【¬b∨c)→¬a】

【¬b∧¬c→¬a】

再利用(2)

【d→¬a】

證畢;你只需把上面的符號改成相應的謂詞,再在最前面加上量詞就可以了。

求數學推理及邏輯推理題,邏輯推理數學題?

數學邏輯問題,又指數學邏輯思維能力。數學邏輯思維能力是一種嚴密的理性思維能力。數學邏輯思維能力指正確合理的進行思考,即對事物進行觀察 類比 歸納 演繹 分析 綜合 抽象和系統化等思維方法,運用正確的推理方法 推理格式 準確而有條理地表述自己思維過程的嚴密理性活動,順利完成某種活動的能力。同時是人們在...

離散數學推理,求推理證明詳細說明

這一題做不了,前提中沒有 t,推不下去。1 p q 前提引入 2 p 1 化簡 3 q 1 化簡 4 pvr 前提引入 5 r 2 4 析取三段論專 6 qvs 前提引入 7 s 3 6 析取三段論 8 r s 5 7 合取引入 9 t r s 結論是正確的,前提無論是否屬正確,此推理都是正確的 注...

邏輯推理能力測試,邏輯推理能力測試模擬題

羅賓遜先生家住底特律城。內容來自使用者 hr文件 18個高智商邏輯推理題,據說只有智商達到150的才能看懂,求答案!男人用刀刺傷自己,把鯊魚引開,讓女人脫險,女人知道後內疚,自責,悔恨,自殺了。題目還要我們去搜尋阿奇。邏輯推理能力測試模擬題 a全班有人沒在承bai諾書上du簽字 因為他說的是隻要 全...