存在语句

存在语句是声明具有给定属性的对象存在性的陈述。用集合论的语言可以表述如下，

其中是全集，是包含在其中的给定集合。换句话说，它表明集合是非空。

另请参阅

存在公式, 存在量词, 存在, 语句, 充分大, 全称语句

此条目由 Margherita Barile 贡献

使用 Wolfram|Alpha 探索

更多尝试

参考文献

Carnap, R. 符号逻辑及其应用导论。 纽约：多佛出版社，第 34 页，1958 年。Tarski, A. 逻辑与演绎科学方法论导论。 纽约：牛津大学出版社，1965 年。

在 Wolfram|Alpha 中被引用

引用为

Barile, Margherita. "存在语句。" 来自 MathWorld--Wolfram Web 资源，由 Eric W. Weisstein 创建。 https://mathworld.net.cn/ExistentialSentence.html

主题分类