点击此处浏览总目录

逻辑量词

 全称量词:

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

posted @ 2019-05-23 23:59  立业的博客  阅读(1366)  评论(0编辑  收藏  举报