命题形式

由命题字母通过适当应用连接词构建的表达式 (Mendelson 1997, p. 13)。

另请参阅

连接词, 命题字母

使用 Wolfram|Alpha 探索

更多尝试

参考文献

Mendelson, E. 数理逻辑导论，第 4 版。 London: Chapman & Hall, 1997。

在 Wolfram|Alpha 上被引用

请引用为

Weisstein, Eric W. “命题形式。” 来自 MathWorld-- Wolfram Web 资源。 https://mathworld.net.cn/StatementForm.html

主题分类