⑴ 離散數學 二元關系部分,空關系的性質
傳遞,對稱,反自反,反對稱
⑵ 離散數學,空關系為啥是反自反的,對稱的,反對稱的(復制粘貼走開)
因為定義這些性質的時候都說,如果存在 x,y,z 屬於X,xRy,yRz,就必然有...
作為空關系,不存在xRy,從邏輯上說,如果存在我也有這個性質,只是不存在而已。
所以很自然地,空關系是自反、對稱、反對稱的。
⑶ 離散數學,什麼是空簡單析取式
2015年 這么久了都沒人回答。。。2019年 哎 我也遇到了這個問題,只看定義。。。。實在是很難理解,但是對於(含文字的)簡單析取式來說它有個特點,它要麼永真,要麼值不確定, 它不可能永假。1也是含文字的 qV非q。
也就是1,在簡單析取式中是可擴展的(容納文字) 而0,簡單析取式無法擴展
永真,不確定,永假 三種情況
而簡單析取式最多隻能有兩種情況,也就是可滿足和不可滿足(空簡單析取式) 所以我認為空簡單析取式應該為0
但這也只是一種思考,只怪數學基礎不踏實,給不出什麼有用的回答,但是我希望能藉助討論,讓一些問題能夠被解決,也希望課本對這些問題能有一個比較好的引導。
⑷ 離散數學中關於空集的問題
對的。
空集也是一個東西,當然可以作為集合的元素。
A={∅,a}的子集有以下4個:
{∅,a}
{∅}
{a}
∅
⑸ 離散數學中,對於空關系的性質,自反與反自反怎麼理解
關系是一個集合,空關系對應空集。
集合論中,為了集合運算構成代數系統,規定:空集是任何集合的子集。
注意是規定。而關系的研究手段是藉助於集合,因此空關系這個集合是自反關系集合以及反自反關系集合的子集。
所以,從邏輯上來說,或本質上說,空關系是自反與反自反的是一種規定。
⑹ 在離散數學中空集有哪些性質比如對稱性等
書上是這樣說的:非空集合上的空關系是反自反的,對稱的,反對稱的和可傳遞的,但不是自反的。空集合上的空關系則是自反的,反自反的,對稱的,反對稱的和可傳遞的。
另外這些性質一般是指臉集合間的二元關系的性質,而不是某些集合的性質。
⑺ 離散數學中關系是空集 表示的是什麼意義呢 為什麼說具有反自反性
空集x仍然是一個集合。
我們用一個函數來表達集合的特性,例如集合的元素的個數。
那麼空集只不過是f(x)=0罷了,非空的只不過是f(x)≠0
空集的反就是全集y(包含宇宙萬物)f(y)=∞
那麼無窮的反當然就是沒有,回到空集本身Φ
"為什麼說具有反自反性"這句話其實不是一個問題,因為這是集合論中的基本公設,集合論基本的性質是靠定義出來的。它是其他各種性質的原因,它本身不需要原因,所以不需要問為什麼。
⑻ 離散數學空關系是否具有可傳遞性
空關系具有可傳遞性
傳遞性:對於A中的任意元素x,y,z,若<x,y>∈R且<y,z>∈R,則必有<x,z>∈R。即
(任意的x)(任意的y)(任意的z)(xRy∧yRz→xRz)
注意的是「→」, 若前件為假,則整個蘊涵式為真。
空關系中,前件全部為假,所以整個蘊涵式為真
⑼ 離散數學 邏輯推理中的這些式子什麼意思,圖中的I1,還有那些P, T都什麼意思
P 是指 前提(Premise),即前提引入,引入的題設前提一定是永真的。
T 是指 重言(永真)式(Tautology),T(1)(2)就是說 (1)(2)是永真的。
I 是指 蘊涵式(Implication),即推理定律,比如假言三段論、構造性二難等,有 9 條,標注為 I1~I9。上面的 I3、I4 分別表示 假言推理和拒取式。
⑽ 離散數學全域關系,恆等關系空關系是什麼意思
全域關系,就是全部元素之間都滿足關系(含自身與自身的關系)
對應關系矩陣是全為1的矩陣
恆等關系,是滿足且只滿足自身與自身的關系,對應關系矩陣是單位矩陣
空關系,是元素之間都不滿足關系。
如果是空集合,則是空矩陣
如果是非空集合,則是零矩陣