码迷,mamicode.com
首页 > 其他好文 > 详细

逻辑量词

时间:2019-05-24 01:02:36      阅读:148      评论:0      收藏:0      [点我收藏+]

标签:exist   exists   数学公式   符号   数学   公式   row   描述   sts   

 全称量词:

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

逻辑量词

标签:exist   exists   数学公式   符号   数学   公式   row   描述   sts   

原文地址:https://www.cnblogs.com/shiliye/p/10915415.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!