全称语句

全称语句是一个句子（即，谓词演算中不含自由变量的公式），其变量是全称量化的。

另请参阅

存在语句, 全称公式, 全称量词

此条目的部分内容由 Lorenzo Sauras-Altuzarra 贡献

使用 Wolfram|Alpha 探索

更多尝试

参考文献

Carnap, R. 符号逻辑及其应用导论。 纽约：Dover，p. 34，1958年。

在 Wolfram|Alpha 中被引用

请引用为

Sauras-Altuzarra, Lorenzo 和 Weisstein, Eric W. “全称语句。” 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/UniversalSentence.html

主题分类