邏輯量詞

 全稱量詞：

　　任意：$\forall$，For ALL，字母A倒過來就是其符號

存在量詞：　

　　存在: $\exists$，Exists，字母E倒過來就是其符號

 

使用數學公式描述如下命題
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)$