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