數(shù)學(xué)-邏輯符號(hào)

1、數(shù)學(xué)-邏輯符號(hào)關(guān)系符號(hào)符號(hào)(Symbol)意義(Meaning)=   等于 is equal to  不等于 is not equal to大約等于恒等于或同余  相似 is similar to  全等 is equal to(especially for triangle ) >   大于 is greater than<   小于 is less than&

2、#160; 大于等于（或作）is greater than or equal to  小于等于（或?qū)懽鳎﹊s less than or equal to>>  遠(yuǎn)遠(yuǎn)大于號(hào)<<  遠(yuǎn)遠(yuǎn)小于號(hào)   屬于   不屬于  真包含于  真包含  包含于  包含并集交集 |  平行 is parallel to  &

3、#160;垂直 斷定符（公式在L中可證） 滿(mǎn)足符（公式在E上有效，公式在E上可滿(mǎn)足） 命題的“非”運(yùn)算 命題的“合取”（“與”）運(yùn)算 命題的“析取”（“或”，“可兼或”）運(yùn)算 命題的“條件”運(yùn)算 命題的“雙條件”運(yùn)算的A<=>B 命題A 與B 等價(jià)關(guān)系A(chǔ)=>B 命題 A與 B的蘊(yùn)涵關(guān)系A(chǔ)* 公式A 的對(duì)偶公式wff 合式公式iff 當(dāng)且僅當(dāng) 命題的“與非” 運(yùn)算（“與非門(mén)” ）&

4、#160;命題的“或非”運(yùn)算（ “或非門(mén)” ） 模態(tài)詞“必然” 模態(tài)詞“可能” R 關(guān)系r 相容關(guān)系 運(yùn)算符號(hào)  加號(hào)  減號(hào)×  乘號(hào)（或·）÷  除號(hào)（或，含分?jǐn)?shù)）：  比  兩個(gè)集合的并集  交集  連乘（集合論中的相乘）  連加  根號(hào)log 對(duì)數(shù)（或lg，ln）dx&#

5、160; 微分  積分  曲線(xiàn)積分 性質(zhì)符號(hào)  正號(hào)  負(fù)號(hào)±  正負(fù)號(hào)| |  絕對(duì)值（|x| 絕對(duì)值 absolute value of X）結(jié)合符號(hào)（）  小括號(hào)  中括號(hào)  大括號(hào)省略符號(hào)  三角形Rt  直角三角形  角  圓º   度|&

6、#160; 平行 is parallel to   垂直Sin  正弦Cos  余弦f(x) x的函數(shù)lim  極限  因?yàn)?#160; 所以  總和  連乘C(r)(n)從n個(gè)元素中每次取出r個(gè)元素所有不同的組合數(shù)冪（A，Ac，Aq，xn）等。排列組合符號(hào)C  組合數(shù)CombinationA  排列數(shù)ArrangementN  元素的總個(gè)數(shù)R  參與選擇的元素個(gè)數(shù)!  階乘，如5！=5×4×3×2×1=120其他符號(hào) 全稱(chēng)量詞,任意 存在