離散數學里iff什麼意思

⑴ 離散數學中的命題是什麼意思 解釋下

下面是有關命題的定義及基本解釋。自己好好理解一下命題概念學習本章首先要深刻理解命題的概念。理解原子命題與復合命題的關系，在了解復合命題的基礎上，理解聯結詞的定義。
命題：具有唯一真值的陳述句稱為命題，又簡稱語句。注意，這里有兩個條件，首先它是一個陳述句，其次，它具有唯一的一個真值。
真值：就是語句為真或假的性質。一個語句的真值可以為真也可以為假。真值不是說該語句的值必為真。
任一命題必有其真值，也稱這個命題的值。既然是命題了，那它必有一個確定的真值，不管這個真值為真還是為假。當一個陳述句能夠分辯其值的真假時(也就是說，總可以肯定是其中的某一個)，它就是命題，即使我們不知道它是真還是假。
另外要理解命題常量、命題變元及指派的含義。
復合命題就是一些原子命題經過一些聯結詞復合而成的命題。常用的聯結詞有：(1)否定、(2)合取、(3)析取、(4)條件、(5)雙條件
復合命題與聯系詞是密切相關的，不包含聯結詞的命題就是原子命題，至少包含一個聯結詞的命題才是復合命題。
復合命題的真值只取決於構成它們的各原子命題的真值，而與它們的內容含義無關。對聯結詞所聯結的兩原子命題之間有無關系無關。(這一條很重要，因為一個命題用自然語言表達時，我們往往會受到自然邏輯的影響，比如"我如果不上班，那麼天下雨"這種命題，在自然的邏輯里，是不成立的，一個人不上班怎麼會導致天下雨呢? 但是在這里，這個復合命題的值實際上是由兩個原子命題的真值決定的，與它的含義無關，這個復合命題是|P->Q ,前一個原子命題的真值為假，後一命題值為真，根據條件的定義，這個復合命題值為真)
∧、∨、←→具有對稱性，|、→無對稱性，(教材提示，也可用iff表示雙向箭頭←→，由於字元集的限制，本網頁在表示否定關聯詞時用"|"，請在書寫時注意規范寫法。對稱性是指真值表中復合命題的真值與原子命題的真值之間的關系。)
命題公式與命題不同，在一個由命題標識符組成的式子中，如果標識符表示確定的命題，則該式就是命題。如果標識符只表示命題的位置，可由任何命題代替，則該式子就為命題公式。命題變元P用特定命題替代時，稱為對P的指派。
不是所有由命題變元、聯結詞及有關括弧組成的字元串都能成為命題公式。要成為一個命題公式(合式公式)，應當符合規定。這個規定是：
(1)單個命題變元本身是一個合式公式。
(2)如果A是合式公式，那麼|A是合式公式。
(3)如果A和B是合式公式，那麼(A∧B)、(A∨B)、(A→B)和(A←→B)都是合式公式。
(4)當且僅當有限次地應用(1)(2)(3)所得到的包含命題變元、聯結詞和圓括弧的符號串是合式公式。
總的理解就是說，單個命題變元是合式公式，由合式公式作為命題變元，有限次地運用聯結詞及括弧組成的符串才能是合式公式。即命題公式，簡稱公式。
命題變元只有進行指派後才可能確定其所在命題公式的真值。當一個命公式中的所有命題變元用一組真值指定後，就稱為對命題公式的指派。想一想，什麼是真指派、什麼是假指派? 這個比較簡單。
一個命題的真值表應該列出其所有指派的取值情況。一般來說，由n個命題變元組成的命題公式共有2n種真值情況。
聯結詞的簡化，按照兩個等價的命題公式，可以看到一個有較多聯結詞的公式可以簡化為含有一個聯結詞的公式。這里有兩個等值公式應當記一下：
(|P∨Q)<=>(P→Q)
我們要弄清什麼是"重言式(永真式)"、什麼是"矛盾式(永假式)"以及"可滿足式"。這其中涉及到指派及命題公式的取值，容易理解。

⑵ iff在vb里是什麼意思

iff 是判斷語句 他等同於
if 。。。。 then
執行語句1
else
執行語句2
end if
與他對應iff用法
iff（。。。。 ，執行語句1 ，執行語句2）

⑶ 離散數學中iffg是什麼意思

iffg ，當且僅當

⑷ 數學里一共有幾種符號

1、幾何符號

⊥ ‖ ∠ ⌒ ⊙ ≡ ≌ △

2、代數符號

∝ ∧ ∨ ～ ∫ ≠ ≤ ≥ ≈ ∞ ∶

3、運算符號

如加號（＋），減號（－），乘號（×或·），除號（÷或／），兩個集合的並集（∪），交集（∩），根號（√），對數（log，lg，ln），比（：），微分（dx），積分（∫），曲線積分（∮）等。

4、集合符號

∪ ∩ ∈

5、特殊符號

∑ π（圓周率）

6、推理符號

|a| ⊥ ∽ △ ∠ ∩ ∪ ≠ ≡ ± ≥ ≤ ∈ ←

↑ → ↓ ↖ ↗ ↘ ↙ ‖ ∧ ∨

&; §

① ② ③ ④ ⑤ ⑥ ⑦ ⑧ ⑨ ⑩

Γ Δ Θ ∧ Ξ Ο ∏ ∑ Φ Χ Ψ Ω

α β γ δ ε ζ η θ ι κ λ μ ν

ξ ο π ρ σ τ υ φ χ ψ ω

Ⅰ Ⅱ Ⅲ Ⅳ Ⅴ Ⅵ Ⅶ Ⅷ Ⅸ Ⅹ Ⅺ Ⅻ

ⅰ ⅱ ⅲ ⅳ ⅴ ⅵ ⅶ ⅷ ⅸ ⅹ

∈ ∏ ∑ ∕ √ ∝ ∞ ∟ ∠ ∣ ‖ ∧ ∨ ∩ ∪ ∫ ∮

∴ ∵ ∶ ∷ ∽ ≈ ≌ ≈ ≠ ≡ ≤ ≥ ≤ ≥ ≮ ≯ ⊕ ⊙ ⊥

⊿ ⌒ ℃

指數0123：o123

7、數量符號

如：i，2+i，a，x，自然對數底e，圓周率π。

8、關系符號

如「＝」是等號，「≈」是近似符號，「≠」是不等號，「＞」是大於符號，「＜」是小於符號，「≥」是大於或等於符號（也可寫作「≮」），「≤」是小於或等於符號（也可寫作「≯」），。「→ 」表示變數變化的趨勢，「∽」是相似符號，「≌」是全等號，「‖」是平行符號，「⊥」是垂直符號，「∝」是成正比符號，（沒有成反比符號，但可以用成正比符號配倒數當作成反比）「∈」是屬於符號，「??」是「包含」符號等。

9、結合符號

如小括弧「（）」中括弧「〔〕」，大括弧「｛｝」橫線「—」

10、性質符號

如正號「＋」，負號「－」，絕對值符號「| |」正負號「±」

11、省略符號

如三角形（△），直角三角形（Rt△），正弦（sin），餘弦（cos），x的函數（f(x)），極限（lim），角（∠），

∵因為，（一個腳站著的，站不住）

∴所以，（兩個腳站著的，能站住） 總和（∑），連乘（∏），從n個元素中每次取出r個元素所有不同的組合數（C(r)(n) ），冪（A，Ac，Aq，x^n）等。

12、排列組合符號

C-組合數

A-排列數

N-元素的總個數

R-參與選擇的元素個數

!-階乘 ，如5！=5×4×3×2×1=120

C-Combination- 組合

A-Arrangement-排列

13、離散數學符號

├ 斷定符（公式在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的函數

GCD(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 偏序集范疇

＋ plus 加號；正號

－ minus 減號；負號

± plus or minus 正負號

× is multiplied by 乘號

÷ is divided by 除號

＝ is equal to 等於號

≠ is not equal to 不等於號

≡ is equivalent to 全等於號

≌ is approximately equal to 約等於

≈ is approximately equal to 約等於號

＜ is less than 小於號

＞ is more than 大於號

≤ is less than or equal to 小於或等於

≥ is more than or equal to 大於或等於

％ per cent 百分之…

∞ infinity 無限大號

√ (square) root 平方根

X squared X的平方

X cubed X的立方

∵ since; because 因為

∴ hence 所以

∠ angle 角

⌒ semicircle 半圓

⊙ circle 圓

○ circumference 圓周

△ triangle 三角形

⊥ perpendicular to 垂直於

∪ intersection of 並，合集

∩ union of 交，通集

∫ the integral of …的積分

∑ (sigma) summation of 總和

° degree 度

′ minute 分

〃 second 秒

＃ number …號

＠ at 單價

⑸ 數學符號都表示什麼怎麼讀

運算符號：如加號(+)，減號(-)，乘號(×或·)，除號(÷或/)，兩個集合的並集(∪)，交集(∩)，根號(√￣)，對數(log，lg，ln，lb)，比(:)，絕對值符號||，微分(d)，積分(∫)，閉合曲面(曲線)積分(∮)等。

關系符號：如「=」是等號，「≈」是近似符號(即約等於)，「≠」是不等號，「>」是大於符號，「<」是小於符號。

「≥」是大於或等於符號(也可寫作「≮」，即不小於)，「≤」是小於或等於符號(也可寫作「≯」，即不大於)。

「→」表示變數變化的趨勢，「∽」是相似符號，「≌」是全等號，「∥」是平行符號，「⊥」是垂直符號，「∝」是正比例符號(表示反比例時可以利用倒數關系)，「∈」是屬於符號，「⊆」是包含於符號。

「⊇」是包含符號，「|」表示「能整除」(例如a|b表示「a能整除b」，而||b表示r是a恰能整除b的最大冪次)，x,y等任何字母都可以代表未知數。

結合符號：如小括弧「()」，中括弧「[]」，大括弧「{}」，橫線「—」，比如。

性質符號：如正號「+」，負號「-」，正負號「」(以及與之對應使用的負正號「」)。

省略符號：如三角形(△)，直角三角形(Rt△)，正弦(sin)(見三角函數)，雙曲正弦函數(sinh)，x的函數(f(x))，極限(lim)，角(∠)，∵因為∴所以。

總和，連加：∑，求積，連乘：∏，從n個元素中取出r個元素所有不同的組合數(n元素的總個數;r參與選擇的元素個數)，冪等。

排列組合符號：C組合數、A(或P)排列數、n元素的總個數、r參與選擇的元素個數、!階乘，如5!=5×4×3×2×1=120，規定0!=1、!!半階乘(又稱雙階乘)。

例如：7!!=7×5×3×1=105,10!!=10×8×6×4×2=3840。

離散數學符號：∀全稱量、∃存在量詞、├斷定符(公式在L中可證)、╞滿足符(公式在E上有效，公式在E上可滿足)、﹁命題的「非」運算。

如命題的否定為﹁p、∧命題的「合取」(「與」)運算、∨命題的「析取」(「或」，「可兼或」)運算、→命題的「條件」運算。

↔命題的「雙條件」運算的、p<=>q命題p與q的等價關系、p=>q命題p與q的蘊涵關系(p是q的充分條件，q是p的必要條件)、A*公式A的對偶公式，或表示A的數論倒數(此時亦可寫為)。

wff合式公式：iff當且僅當、↑命題的「與非」運算(「與非門」)、↓命題的「或非」運算(「或非門」)、□模態詞「必然」、◇模態詞「可能」、∅空集、∈屬於(如"A∈B"，即「A屬於B」)、∉不屬於、P(A)集合A的冪集。

|A|集合A的點數、R²=R○R[R、=R、○R]關系R的「復合」、ℵAleph,阿列夫、⊆包含、⊂(或⫋)真包含、另外,還有相應的⊄,⊈,⊉等。

∪集合的並運算：U(P)表示P的領域、∩集合的交運算、-或集合的差運算、⊕集合的對稱差運算、〡限制、集合關於關系R的等價類。

A/R集合A上關於R的商集、[a]元素a產生的循環群、I環，理想、Z/(n)模n的同餘類集合、r(R)關系R的自反閉包。

s(R)關系R的對稱閉包、CP命題演繹的定理(CP規則)、EG存在推廣規則(存在量詞引入規則)、ES存在量詞特指規則(存在量詞消去規則)、UG全稱推廣規則(全稱量詞引入規則)、US全稱特指規則(全稱量詞消去規則)。

(5)離散數學里iff什麼意思擴展閱讀：

更多數學表達符號：

∞無窮大、π圓周率、|x|絕對值、∪並集、∩交集、≥大於等於、≤小於等於、≡恆等於或同餘、ln(x)以e為底的對數、lg(x)以10為底的對數、floor(x)上取整函數、ceil(x)下取整函數。

xmody求余數、x-floor(x)小數部分、∫f(x)dx不定積分、∫[a:b]f(x)dxa到b的定積分、f(x)函數f在自變數x處的值、sin(x)在自變數x處的正弦函數值、exp(x)在自變數x處的指數函數值，常被寫作ex、logba以b為底a的對數。

cosx在自變數x處餘弦函數的值、tanx其值等於sinx/cosx、cotx餘切函數的值或cosx/sinx、secx正割含數的值，其值等於1/cosx、cscx餘割函數的值，其值等於1/sinx、asinxy正弦函數反函數在x處的值，即x=siny。

acosxy餘弦函數反函數在x處的值，即x=cosy、atanxy正切函數反函數在x處的值，即x=tany、acotxy餘切函數反函數在x處的值，即x=coty、asecxy正割函數反函數在x處的值，即x=secy、acscxy餘割函數反函數在x處的值，即x=cscy。

⑹ 數學符號都有哪些

數學符號有很多，主要常用的是以下五個類型，在此列舉幾個：

應用數學符號

CRng 交換環范疇

R-mod 環R的左模範疇

Field 域范疇

Poset 偏序集范疇

來歷

加號，減號

「+」號是由拉丁文「et」（「和」的意思）演變而來的。十六世紀，義大利科學家塔塔里亞用義大利文「plu」（加的意思）的第一個字母表示加，草為「μ」最後都變成了「+」號。「－」號是從拉丁文「minus」（「減」的意思）演變來的，簡寫m，再省略掉字母，就成了「－」。

也有人說，賣酒的商人用「－」表示酒桶里的酒賣了多少。以後，當把新酒灌入大桶的時候，就在「－」上加一豎，意思是把原線條勾銷，這樣就成了個「+」號。

到了十五世紀，德國數學家魏德美正式確定：「+」用作加號，「－」用作減號。

乘號，除號

乘號曾經用過十幾種，現在通用兩種。一個是「×」，最早是英國數學家奧屈特1631年提出的；一個是「·」，最早是英國數學家赫銳奧特首創的。德國數學家萊布尼茨認為：「×」號象拉丁字母「X」，加以反對，而贊成用「·」號。他自己還提出用「п」表示相乘。可是這個符號現在應用到集合論中去。

到了十八世紀，美國數學家歐德萊確定，把「×」作為乘號。他認為「×」是「+」斜起來寫，是另一種表示增加的符號。

「÷」最初作為減號，在歐洲大陸長期流行。直到1631年英國數學家奧屈特用「：」表示除或比，另外有人用「－」（除線）表示除。後來瑞士數學家拉哈在他所著的《代數學》里，才根據群眾創造，正式將「÷」作為除號。

平方根號曾經用拉丁文「Radix」（根）的首尾兩個字母合並起來表示，十七世紀初葉，法國數學家笛卡兒在他的《幾何學》中，第一次用「√」表示根號。「√」是由拉丁字線「r」變，「——」是括線。

等於號，不等於號

十六世紀法國數學家維葉特用「=」表示兩個量的差別。可是英國牛津大學數學、修辭學教授列考爾德覺得：用兩條平行而又相等的直線來表示兩數相等是最合適不過的了，於是等於符號「=」就從1540年開始使用起來。

1591年，法國數學家韋達在菱形中大量使用這個符號，才逐漸為人們接受。十七世紀德國萊布尼茨廣泛使用了「=」號，他還在幾何學中用「∽」表示相似，用「≌」表示全等。

大於號「>」和小於號「<」，是1631年英國著名代數學家赫銳奧特創用。至於「≯」、「≮」、「≠」這三個符號的出現，是很晚很晚的事了。

括弧

大括弧「{}」和中括弧「[]」是代數創始人之一魏治德創造的。

⑺ 離散數學中iff是什麼意思

if and only if (當且僅當)

⑻ 數學符號㏄是什麼意思

數量符號
如：i，2+i，a，x，自然對數底e，圓周率π。
運算符號
如加號（+），減號（－），乘號（×或·），除號（÷或/），兩個集合的並集（∪），交集（∩），根號（√），對數（log，lg，ln），比（：），絕對值符號「| |」，微分（dx），積分（∫），閉合曲面（曲線）積分（∮）等。
關系符號
如「=」是等號，「≈」是近似符號，「≠」是不等號，「>」是大於符號，「<」是小於符號，「≥」是大於或等於符號（也可寫作「≮」），「≤」是小於或等於符號（也可寫作「≯」），「→ 」表示變數變化的趨勢，「∽」是相似符號，「≌」是全等號，「∥」是平行符號，「⊥」是垂直符號，「∝」是成正比符號，（沒有成反比符號，但可以用成正比符號配倒數當作成反比）「∈」是屬於符號，「⊆」是「包含」符號等。「|」表示「能整除」（例如a|b 表示 a能整除b)，x可以代表未知數，y也可以代表未知數，任何字母都可以代表未知數。
結合符號
如小括弧「（）」中括弧「[ ]」，大括弧「{ }」橫線「—」，比如（2+1）+3=6，[2.5x（23+2）+1]=x，{3.5+[3+1]+1=y
性質符號
如正號「+」，負號「－」，正負號「±」
省略符號
如三角形（△），直角三角形（Rt△），正弦（sin），餘弦（cos），x的函數（f(x)），極限（lim），角（∠），
∵因為，（一個腳站著的，站不住）
∴所以，（兩個腳站著的，能站住）
(口訣：因為站不住，所以兩個點)
總和：∑，連乘：∏，從n個元素中取出r個元素所有不同的組合數：C(n,r) ，冪（A，Ac，Aq，x^n）等。
排列組合符號
C-組合數
A-排列數
N-元素的總個數
R-參與選擇的元素個數
!-階乘，如5！=5×4×3×2×1=120
C-Combination-組合
A-Arrangement-排列
離散數學符號（未全）
∀ 全稱量詞
∃存在量詞
├ 斷定符（公式在L中可證）
╞ 滿足符（公式在E上有效，公式在E上可滿足）
﹁ 命題的「非」運算
∧ 命題的「合取」（「與」）運算
∨ 命題的「析取」（「或」，「可兼或」）運算
→ 命題的「條件」運算
↔ 命題的「雙條件」運算的
A<=>B 命題A 與B等價關系
A=>B 命題 A與 B的蘊涵關系
A* 公式A 的對偶公式
wff合式公式
iff當且僅當
↑ 命題的「與非」 運算（ 「與非門」 ）
↓ 命題的「或非」運算（ 「或非門」 ）
□ 模態詞「必然」
◇ 模態詞「可能」
φ空集
∈ 屬於 A∈B 則為A屬於B（∉不屬於）
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的函數
GCD(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 域范疇

⑼ 數學的符號

主條目：數學符號
也許我國古代的算籌是世界上最早使用的符號之一，起源於商代的占卜．
我們現今所使用的大部分數學符號都是到了16世紀後才被發明出來的．在此之前，數學是用文字書寫出來，這是個會限制住數學發展的刻苦程序．現今的符號使得數學對於人們而言更便於操作，但初學者卻常對此感到怯步．它被極度的壓縮：少量的符號包含著大量的訊息．如同音樂符號一般，現今的數學符號有明確的語法和難以以其他方法書寫的訊息編碼．

⑽ 包含和包含於的符號

⊆是包含於符號：A包含於B-則A為B的子集或等於B。

⊇是包含符號：A包含B-則B為A的子集或等於A。

⫋真包含：A真包含於B-則A為B的真子集，若B={1，2}，則A={1}或{2}或空集。

運算符號：

如加號（+），減號（－），乘號（×或·），除號（÷或/），兩個集合的並集（∪），交集（∩），根號（√￣），對數（log，lg，ln，lb），比（:），絕對值符號| |，微分（d），積分（∫），閉合曲面（曲線）積分（∮）等。

關系符號：

如「=」是等號，「≈」是近似符號（即約等於），「≠」是不等號，「>」是大於符號，「<」是小於符號，「≥」是大於或等於符號（也可寫作「≮」，即不小於），「≤」是小於或等於符號（也可寫作「≯」，即不大於），「→ 」表示變數變化的趨勢。

「∽」是相似符號，「≌」是全等號，「∥」是平行符號，「⊥」是垂直符號，「∝」是正比例符號（表示反比例時可以利用倒數關系），「∈」是屬於符號，「⊆」是包含於符號，「⊇」是包含符號，「|」表示「能整除」（例如a|b表示「a能整除b」，而

）

wff合式公式

iff當且僅當

↑ 命題的「與非」 運算（ 「與非門」 ）

↓ 命題的「或非」運算（ 「或非門」 ）

□模態詞「必然」

◇ 模態詞「可能」

∅空集

∈ 屬於（如"A∈B"，即「A屬於B」）

∉ 不屬於

P(A) 集合A的冪集

|A| 集合A的點數