逻辑符号符号名称符号含义说明$\forall$全称量词表示对于所有的，对于每一个这个倒写的A来自英文All的第一个字母$\exists$存在量词表示存在，至少有一个这个反写的E来自英文Exists的第一个字母$\Rightarrow$蕴含符号A$\Rightarrow$B表示由命题A可以推出命题BA$\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)$
转载于:https://www.cnblogs.com/shiliye/p/10957601.html