逻辑量词
全称量词:
任意:$\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)$