逻辑量词

 全称量词:

  任意:$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