1樓：匿名使用者
雙箭頭是「等價於」，就是充要條件，a←b，a是b的必要非充分條件，a→b，a是b的充分非必要條件
<=>離散數學中這個箭頭啥意思， 20
2樓：匿名使用者
a<=>b 命題a 與b 等價關係
離散數學中各種符號大全
├ 斷定符（公式在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 偏序集範疇
離散數學中上下兩個箭頭是什麼意思？
3樓：淺淺唸白
上箭頭是與非，比如p上箭頭q=非（p與q）。 下箭頭是或非，就是p或q的非。參見左孝凌版的 離散數學。
4樓：飛水浪花
剪頭向上是析取，向下是合取。
離散數學雙向箭頭是什麼意思
5樓：
←→ 表示：雙條件（同等價於），即(p∧q)∨(┐p∧┐q)）
6樓：啟東德樂潤滑
雙箭頭是「等價於」，就是充要條件，a←b，a是b的必要非充分條件，a→b，a是b的充分非必要條件
離散數學雙向箭頭是什麼意思求解
7樓：匿名使用者
離散數學雙向箭頭是什麼意思？教材上應該說的清楚，是 「當且僅當」 的意思。
8樓：東風冷雪
p＜＝＞q
可以變成 p－＞q和q－＞p
9樓：慈卿時令梓
雙箭頭是「等價於」，就是充要條件，a←b，a是b的必要非充分條件，a→b，a是b的充分非必要條件
離散數學中 是什麼意思，離散數學中a b是什麼意思
用右邊的定義左邊,這在很多不同的數學書上都有.如果反過來,把 寫在右邊,表示把左邊的東西用右邊的記號來記,即引入右邊的記號.離散數學中a b是什麼意思?通常在數學上用a b表示a整除b,等價於存在c使得b ac,這裡a,b,c均是整數,應該是a b當且僅當2 a b 即等價於a,b關於模2同餘,或a...
數學中x和y是什麼意思離散數學，x和y中間的是什麼意思
x和y是被設copy出來的數，假象的數，可以bai變成任何會發生的事，x軸和duy軸表示 zhi的是座標軸用來定位用的，在不同dao的題裡，x和y表示的意思也不同，要看是什麼題，你說6年紀下冊資料裡，沒說啥題我也不能給你準確的答案只能這樣告訴你了。x是函式的自變數，y是因變數，也可以叫做x的函式，x...
這個數學符號是什麼意思,，這個數學符號什麼意思？
這個符號是包含的意思。例如 a b,表示a包含於b.希望採納！橫著看是 包含於 的意思，a b表示a包含於b，a b表示a包含b。這個數學符號什麼意思？這個數學符號是範數。定義範數的向量空間是賦範向量空間 同樣，定義半範數的向量空間就是賦半範向量空間。注 在二維的歐氏幾何空間 r中定義歐氏範數，在該...