| 邏輯符號 | 符號名稱 | 符號含義 | 說明 |
| $\forall$ | 全稱量詞 | 表示對於所有的，對於每一個 | 這個倒寫的A來自英文All的第一個字母 |
| $\exists$ | 存在量詞 | 表示存在，至少有一個 | 這個反寫的E來自英文Exists的第一個字母 |
| $\Rightarrow$ | 蘊含符號 | A$\Rightarrow$B表示由命題A可以推出命題B | A$\Rightarrow$B讀作若A則B |
| $\Leftrightarrow$ | 等價符號 | A$\Leftrightarrow$B表示A$\Rightarrow$B且B$\Rightarrow$A 即A與B是等價命題 |
A$\Leftrightarrow$B讀作A當且僅當B或A等價於B |
使用邏輯符號表示以下命題
1 對任意實數x，都存在比x更大的實數y：
描述：$\forall x \in R \quad \exists y \in R(y>x)$
2 任意兩個實數之間，都存在一個實數
描述：$\forall x,y \in R(x<y) \Rightarrow \exists z \in R (x<z<y)$