逻辑符号	符号名称	符号含义	说明
$\forall$	全称量词	表示对于所有的，对于每一个	这个倒写的A来自英文All的第一个字母
$\exists$	存在量词	表示存在，至少有一个	这个反写的E来自英文Exists的第一个字母
$\Rightarrow$	蕴含符号	A$\Rightarrow$B表示由命题A可以推出命题B	A$\Rightarrow$B读作若A则B
$\Leftrightarrow$	等价符号	A$\Leftrightarrow$B表示A$\Rightarrow$B且B$\Rightarrow$A 即A与B是等价命题	A$\Leftrightarrow$B读作A当且仅当B或A等价于B

 

 

 

 

 

 

 

使用逻辑符号表示以下命题
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)$