逻辑量词

Posted shiliye

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了逻辑量词相关的知识,希望对你有一定的参考价值。

 全称量词:

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

以上是关于逻辑量词的主要内容,如果未能解决你的问题,请参考以下文章

证明或反驳量词(命题逻辑)

数理逻辑量词的引入

一阶逻辑基本概念

谓词逻辑

人工智能和一阶逻辑

离散数学--3.2 一阶逻辑的等值演算