存在句是一种声明,声称存在具有给定属性的对象。用集合论的语言,它可以表述如下:,
哪里是万能集合和是包含在其中的给定集。换句话说,它声明那套是非空的.
另请参见
存在式,存在量词,对于某些人,句子,足够大,通用句子
此条目由贡献玛格丽塔巴里尔
与Wolfram一起探索| Alpha
工具书类
卡纳普,R。符号逻辑及其应用导论。纽约:多佛,第34页,1958年。塔斯基,答:。介绍逻辑和演绎科学的方法论。纽约:牛津大学出版社,1965年。参考Wolfram | Alpha
存在句
引用如下:
玛格丽塔·巴里尔“存在句”。摘自数学世界--Wolfram Web资源,创建人埃里克韦斯特因.https://mathworld.wolfram.com/ExistentialSentence.html
主题分类