命题逻辑（Propositional Logic）

什么是命题？

在数学和逻辑学中，命题（Proposition）是一个可以判断真假的陈述句。例如：

• “2 + 2 = 4” 是一个真命题。
• “地球是平的” 是一个假命题。
• “今天下雨吗？” 不是命题，因为它不是陈述句。

基本逻辑运算符

命题逻辑使用以下基本逻辑连接词来构建复合命题：

真值表示例

真值表用于展示逻辑表达式在所有可能输入下的真假值。

应用场景

命题逻辑广泛应用于：

• 计算机科学：电路设计、编程条件判断、人工智能推理。
• 数学证明：构建严谨的逻辑推导过程。
• 哲学与语言学：分析语句结构与论证有效性。