逻辑量词

 全称量词：

　　任意：$\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)$

转载于:https://www.cnblogs.com/shiliye/p/10915415.html