话题
搜索

存在句


存在句是一种声明,声称存在具有给定属性的对象。用集合论的语言,它可以表述如下:,

  在U中存在x,使得在A中存在x,

哪里U型万能集合一个是包含在其中的给定集。换句话说,它声明那套一个非空的.


另请参见

存在式,存在量词,对于某些人,句子,足够大,通用句子

此条目由贡献玛格丽塔巴里尔

与Wolfram一起探索| Alpha

工具书类

卡纳普,R。符号逻辑及其应用导论。纽约:多佛,第34页,1958年。塔斯基,答:。介绍逻辑和演绎科学的方法论。纽约:牛津大学出版社,1965年。

参考Wolfram | Alpha

存在句

引用如下:

玛格丽塔·巴里尔“存在句”。摘自数学世界--Wolfram Web资源,创建人埃里克韦斯特因.https://mathworld.wolfram.com/ExistentialSentence.html

主题分类