離散數學一道題構造語句a使得a有模型並

時間 2021-10-30 05:58:31

1樓:匿名使用者

語句a為∀x⌝p(x,x)∧∀x∀y(p(x,y)∧p(y,z)→p(x,z))∧∀x∃yp(x,y)。給定解釋i'如下。

di'為自然數集合, pi'(x,y)=1當且僅當x

任取滿足語句a的解釋i,取d1∈di,因為i(∀x∃yp(x,y))=1,所以有d2∈di使得pi(d1,d2)=1,又因為i(∀x⌝p(x,x))=1,故d1≠d2。因為i(∀x∃yp(x,y))=1,所以有d3∈di使得pi(d2,d3)=1,又因為i(∀x⌝p(x,x))=1,故d3≠d2。因為i(∀x∀y(p(x,y)∧p(y,z)→p(x,z)))=1,所以pi(d1,d3)=1,故d3≠d1。

因此,d1,d2,d3是論域中的三個不同元素。這個過程可以永遠進行下去,得到d1,d2,d3, 因此,論域中必然有無窮多個元素。

2樓:匿名使用者

2023年到2023年這道題還沒變..........

3樓:匿名使用者

同6系,怎麼破……q_q

4樓:

樓主北航6系的吧?...我也在糾結...

離散數學 這道題什麼意思?答案為1,但是不明白。誰能解釋下?謝謝了。

5樓:

第五題,設解釋i的論域d=,則謂詞公式被解釋為p(a)→p(a),p(a)→p(a)<=>┐p(a)∨p(a)<=>1

離散數學的一道題,問題如圖,商集要怎麼求

6樓:

答案的寫法是錯的。

商集與劃分有什麼關係?商集是所有的等價類組成的集合。根據等價關係r的定義,a的任意兩個子集如果元素個數相同,這兩個子集就有關係r。所以等價類是:

含有0個元素的子集有1個,等價類是[φ]=;

含有1個元素的子集有4個,等價類是==a;

含有2個元素的子集有6個,等價類是=,,,,,};

含有3個元素的子集有4個,等價類是=,,,};

含有4個元素的子集有1個,等價類是=}=.

商集p(a)/r=],,,,還可以把上面每一個等價類對應的集合的形式代入,寫

數學一道題

設快車速度x,慢車速度y 14x 14y 20x 14x 200 14y 200 解得x 50,y 150 7 所以20x 1000千米。甲乙相距1000千米。設快車速度為x 慢車速度為y 14 x y 20x 14y 200 10x 這就會算了吧。解 設快車的速度為v,慢車的速度為u。單位均為 千...

數學一道應用題,一道數學應用題

方法一 甲乙原錢數比是7 3 35 15 現在甲乙的比是5 4 35 28 104 28 15 8 8x35 280,8x15 120.方法二 104 7 3 5 4 1 104 13 15 120,120x7 3 280 方程 7x 3x 104 5 4 x 40 7x40 280,3x40 12...

一道離散數學問題,請問這題怎麼做,我知道證明等價就是找R的自反性,對稱性,傳遞性,請問,怎麼找,謝

先分析下二元關係是如何定義的,有序對,具有關係r當且僅當a d b c,當且僅當a b c d。只要第一元素與第二元素的差相同,有序對,就具有關係r。很明顯,這個 第一元素與第二元素的差相同 是自反的 對稱點 傳遞的吧。按照自反性 對稱性 傳遞性的定義寫寫即可。比如,a a a a,所以 r,r有自...