1樓:天雨下凡
這個是「異或」符號,運算規則是:如果兩個運算元不同,則結果為1,否則為0。
2樓:匿名使用者
identity,表示恆等對映,下標表示某個集合上的把自己對映為自己的對映。
離散數學這個符號什麼意思
3樓:天雨下凡
這個是「異或」符號,運算規則是:如果兩個運算元不同,則結果為1,否則為0。
離散數學的部分符號
4樓:孤獨患者°鴼圶
├ 斷定
符(公式在l中可證)
╞ 滿足符(公式在e上有效,公式在e上可滿足)┐ 命題的「非」運算
∧ 命題的「合取」(「與」)運算
∨ 命題的「析取」(「或」,「可兼或」)運算→ 命題的「條件」運算
↔ 命題的「雙條件」運算的
a<=>b 命題a 與b 等價關係
a=>b 命題 a與 b的蘊涵關係
a* 公式a 的對偶公式
wff 合式公式
iff 當且僅當
↑ 命題的「與非」 運算( 「與非門」 )↓ 命題的「或非」運算( 「或非門」 )
□ 模態詞「必然」
◇ 模態詞「可能」
φ 空集
∈ 屬於(∉不屬於)
p(a) 集合a的冪集
|a| 集合a的點數
r^2=r○r [r^n=r^(n-1)○r] 關係r的「複合」
א 阿列夫
⊆ 包含
⊂(或下面加 ≠) 真包含
∪ 集合的並運算
∩ 集合的交運算
- (~) 集合的差運算
〡 限制
[x](右下角r) 集合關於關係r的等價類a/ r 集合a上關於r的商集
[a] 元素a 產生的迴圈群
i (i大寫) 環,理想
z/(n) 模n的同餘類集合
r(r) 關係 r的自反閉包
s(r) 關係 的對稱閉包
cp 命題演繹的定理(cp 規則)
eg 存在推廣規則(存在量詞引入規則)
es 存在量詞特指規則(存在量詞消去規則)ug 全稱推廣規則(全稱量詞引入規則)
us 全稱特指規則(全稱量詞消去規則)
r 關係
r 相容關係
r○s 關係 與關係 的複合
domf 函式 的定義域(前域)
ranf 函式 的值域
f:x→y f是x到y的函式
***(x,y) x,y最大公約數
lcm(x,y) x,y最小公倍數
ah(ha) h 關於a的左(右)陪集
ker(f) 同態對映f的核(或稱 f同態核)[1,n] 1到n的整數集合
d(u,v) 點u與點v間的距離
d(v) 點v的度數
g=(v,e) 點集為v,邊集為e的圖
w(g) 圖g的連通分支數
k(g) 圖g的點連通度
△(g) 圖g的最大點度
a(g) 圖g的鄰接矩陣
p(g) 圖g的可達矩陣
m(g) 圖g的關聯矩陣
c 複數集
n 自然數集(包含0在內)
n* 正自然數集
p 素數集
q 有理數集
r 實數集
z 整數集
set 集範疇
top 拓撲空間範疇
ab 交換群範疇
grp 群範疇
mon 單元半群範疇
ring 有單位元的(結合)環範疇
rng 環範疇
crng 交換環範疇
r-mod 環r的左模範疇
mod-r 環r的右模範疇
field 域範疇
poset 偏序集範疇
離散數學裡的三角形符號什麼意思,比如 a △(b u c) 20
5樓:
對稱差,就是ab扣除相交的部分
6樓:匿名使用者
三角形符號是一種抽象的運算子,具體得看上下文或運算表,但通常不表示集合的對稱差運算,集合的對稱差運算通常用帶圈的加號表示。
7樓:life李曉龍
還沒學呢,剛到微積分
離散數學中符號 r○s 是什麼意思? 15
8樓:
二元關係r與s的複合(也叫作合成)
9樓:匿名使用者
你能上**麼, 脫離上下文是沒有辦法回答的。
離散數學 雙射函式，離散數學 雙射函式？
滿射也好證明 a b c 則a a b c 從而b b,c c 因此 a b c 也就是說，對任意a b c 中的元素，都是可以找到原像的，因此是滿射。答案為c，f，g均為雙射函式，說明f，g既是單射，又是滿射，複合之後求逆從後往前寫 離散數學，假設函式f是集合a到a的雙射函式，則f複合f等於什麼，...
離散數學邏輯推理證明,離散數學中的邏輯推理A,B,AB,BCD,DQ
證明過程如圖,其中 3 用附加前提證明法,把結論中的前件引入。p蘊含q等價於非p或q,用這個等價式和前提很容易得到結論 離散數學中的邏輯推理 a,b,a b,b c d,d q?你的已知事實是不是有錯誤?如果是a,b,a c,b c d,d q的話就解釋的通了。a為真,因為a推出c,所以c為真 b為...
離散數學證明ABBCAC
等價蘊含式 b c b c前提3 b c則 b c c1前提2乛d a d a前提1a b c d b c 2由1 2,得到d c 離散數學證明 a b b c a c 證明 b 62616964757a686964616fe58685e5aeb931333431373337c a b a b b ...