1樓:
1. s上的有序對有<1,1>,<1,2>,<2,1>,<2,2> 4個
偏序關係需要滿足自反,反對稱,傳遞
即<1,1>,<2,2>都屬於偏序集,<1,2>,<2,1>不能同時屬於偏序集
所以一共有2^2-1=3個偏序關係
因為s上有序對有4個,所以二元關係有2^4=16個2 4個元素集合的滿射,即是4個元素集合的雙射個數顯然雙射有4!=24個
3 x中有3個元素,設等價關係為r
等價關係是自反,對稱,傳遞
所以對任意的a∈x,都屬於這個等價關係r
對稱需要滿足對於任意的a,b ,若屬於r,則屬於r傳遞需要滿足對於任意的a,b,c 若,屬於r, 則屬於r只需要計算r中出現不同的a,b ∈r一共有幾種可能1)一個屬於r都沒有,這樣的等價關係只有一種為恆等關係ix2)有一個屬於r,則根據對稱也屬於r
這樣的一共有c(3,2)=3個
3)有2個不同的有序對,因為對稱和傳遞性可知,,都屬於r,這樣的等價關係也只有一種,即x上的全關係ex
所以一共有5種
2樓:數論_高數
s²子集個數為16個,所以二元關係也有16個。
偏序關係因為要求有自反性,所以(1,1),(2,2)必在其中,而反對稱性要求(1,2),(2,1)不同在其中,因此偏序關係有:
,,三個。
有限集到自身的滿射也必定是單射,因此是一一對映。4個元素的集合到自身的一一對映共4!=24個.
x的每一個不同的劃分(不重,不漏,不交的若干個子集)對應一個等價關係,x中有3個元素,設x=,不同的劃分有5個:;,;
,;,;
,,.相應的等價關係當然也是有5個。
離散數學幾條簡單問題
3樓:
亮劍和 不要誤導別人
第一個問題的兩個符號串都是公式。 可以從公式的定義來看:
1.p ,q等原子命題是公式;
2.p∨q,p^q, p->q, (p), p<->q, !p 是公式;
3.由有限步2組成的符號串是公式;
由此可知 (1)(2)都是公式; 他們的真值表 用“亮劍和”的貼圖就不難看出。
第二個問題 只要將等式兩邊的公式的真值表列出,就可以發現他們是等值的,這就是等值演演算法。
4樓:前縈懷
所以:(p∨q)→p不是公式
所以 p∧(p→q)→q不是公式
離散數學的一個簡單的小問題... 解釋明白加分
5樓:
等價等值式:a←→b <=> (a→b)∧(b→a)蘊含等值式:a→b <=> ¬a∨
b----
(p→q)←→r <=> ((p→q)→r)∧(r→(p→q))<=> (¬(p→q)∨r)∧(¬r∨(p→q))<=> (¬(¬p∨q)∨r)∧(¬r∨(¬p∨q))<=> ((p∧¬q)∨r)∧(¬r∨¬p∨q) 再用∧對∨分配律<=> ((p∧¬q)∧(¬r∨¬p∨q))∨(r∧(¬r∨¬p∨q)) 繼續用分配律
<=> (p∧¬q∧¬r)∨(r∧¬p)∨(r∧q)<=> (p∧¬q∧¬r)∨(¬p∧r)∨(q∧r) 接下去對後面兩個簡單合取式用排中律、分配律,即可得到主析取正規化
p¬∧q∧¬r是錯誤的,應該是p∧¬q∧¬r
離散數學的問題,離散數學的小問題?
證明 將這n個人作為n個結點,如果某兩個人認識,則這兩個人對應的結點之間存在一條邊,這樣就得到一個具有n個結點的無向圖,此時需證明的是,當n 3時該圖存在一個哈密頓路,n 4時,該圖存在一個哈密頓迴路,即該圖是哈密頓圖,下面給出證明。首先證明當n 3時該圖存在一個哈密頓路。設u,v是任意兩個結點,由...
離散數學怎麼讀,離散數學符號讀法
連續的對應 就是反義詞 就是離散 離散就是不連續。例1 在生活中我們聽到的聲音是連續的,如人的說話聲,鳥叫聲等 而計算機裡儲存聲音的是離散的二進位制位元流,是經過抽樣,然後量化得到的離散資料。例2 我們在生活中,人眼見到的影象 非計算機裡的 是連續的,經過數位相機的拍照 抽樣和量化的過程 變成計算機...
離散數學題 10 ,離散數學問題,10到選擇題,求大神幫忙
選c天下烏鴉一般黑 天下有任意兩個物體,它們兩個都是烏鴉,它們一樣黑 天下有任意兩個物體 任意x任意y 它們兩個都是烏鴉 p x 且p y 他們一樣黑 q x,y 全稱量詞 被形容的物體可以用 任意 所有 全部 等詞來形容 存在量詞 被形容的物體可以用 有乙個 可以找到乙個 存在乙個 等來形容 存在...