无穷小的好朋友

  莱布尼兹说：符号是节约思维的工具。无穷小有许多好朋友如下： 

﹢﹣×÷±/=≌∽≦≧≒﹤﹥≈≡≠=≤≥<>≮≯∷∶∫∮∝∞∧∨∑∏∪∩∈∵∴⊥∥∠⌒⊙√∟⊿㏒㏑%‰⅟½⅓⅕⅙⅛⅔⅖⅚⅜¾⅗⅝⅞⅘≂≃≄≅≆≇≈≉≊≋≌≍≎≏≐≑≒≓≔≕≖≗≘≙≚≛≜≝≞≟≠≡≢≣≤≥≦≧≨≩⊰⊱⋛⋚∫∬∭∮∯∰∱∲∳%℅‰‱øØπ

  在无穷小微积分扎根中国的新征途中，我们将启用这批无穷小的好朋友。

袁萌   3月4日

放置的¬。 x ≠ y ⇔ ¬(x =~y)∧　　逻辑合取　　如果 A 与 B 二者都为真，则陈述 A ∧ B 为真；否则为假。n < 4 ∧ n >2户 2017-10-05

⇔ n = 3（当 n 是自 然数的时候）。与∨　　逻辑析取　　如果 A 或 B 或二者均为真陈述，则 A ∨ B 为真；如果二者都为假，则 陈述为假。n ≣ 4 ∨ n ≢ 2 ⇔ n ≠ 3（当 n 是 自然数的时候）。或 ⊕　　xor陈述 A ⊕ B 为真，在要么 A 要么 B 但不是二者为真的时候为真。A ⊻ B 意思相同。(¬A) ⊕ A 总是真，A ⊕ A 总是假。异或命题逻辑, 布尔代数⊻  ∀ 全称量词∀ x: P(x) 意味着所有的 x 都使 P(x) 都为真。∀ n ∈ N（n² ≣ n）.对于所有； 对于任何；对于每个；任意的谓词逻辑∃存在量词∃ x: P(x) 意味着有至少一个 x 使 P(x) 为真。∃ n ∈ N（n 是偶数）。存在着 ∃ !唯一量词 ∃! x: P(x) 意味着精确的有一个 x 使 P(x) 为真。∃! n ∈ N（n + 5 = 2n）.精确的存在一个:=定义x := y 或 x ≡ y 意味着 x 被定义为 y 的另一个名字(但要注意 ≡ 也可以意味着其他东西，比如全等)。cosh x := (1/2)(exp x + exp (−x))被定义为所有地方　　≡ :⇔P :⇔ Q 意味着 P 被定义为逻辑等价于 Q。A XOR B :⇔ (A ∨ B) ∧ ¬(A ∧ B)()优先组合优先进行括号内的运算。(8/4)/2 = 2/2 = 1, 而 8/(4/2) = 8/2 = 4。无├推论x ├ y 意味着 y 推导自 x。A → B ├ ¬B → ¬A推论或推导命题逻辑, 谓词逻辑

1 Α α alpha a:lf 阿尔法

2 Β β beta bet 贝塔

3 Γ γ gamma ga:m 伽马

4 Δ δ delta delt 德尔塔

5 Ε ε epsilon ep`silon 伊普西龙

6 Ζ ζ zeta zat 截塔

7 Η η eta eit 艾塔

8 Θ θ theta θit 西塔

9 Ι ι iota aiot 约塔

10 Κ κ kappa kap 卡帕

11 ∧ λ lambda lambd 兰布达

12 Μ μ mu mju 缪

13 Ν ν nu nju 纽

14 Ξ ξ xi ksi 克西

15 Ο ο omicron omik`ron 奥密克戎

16 ∏ π pi pai 派

17 Ρ ρ rho rou 肉

18 ∑ σ sigma `sigma 西格马

19 Τ τ tau tau 套

20 Υ υ upsilon ju:p`sailon 宇普西龙

21 Φ φ phi fai 佛爱

22 Χ χ chi phai 西

23 Ψ ψ psi psai 普西

24 Ω ω omega o`miga 欧米伽