命题逻辑的基本概念

• 命题：一个可以判断真假的陈述句。

• ***：不能再分解的最基本命题。

• ***：由多个原子命题通过逻辑连接词组成的命题。

• 逻辑连接词：

  • 否定（¬）：表示”非”
  • 合取（∧）：表示”且”
  • 析取（∨）：表示”或”
  • 蕴含（→）：表示”如果…那么…”
  • 等价（↔）：表示”当且仅当”

• 真值表：用于表示复合命题在不同情况下的真值。

  • 永真式：在所有可能的赋值下都为真的命题。
  • 永假式：在所有可能的赋值下都为假的命题。

• 可满足式：至少在一种赋值下为真的命题。

• 逻辑等价：两个命题具有相同的真值表。

• 推理规则：如肯定前件、否定后件等用于推导结论的规则。

• 命题公式：***。

这些概念构成了命题逻辑的基础，用于分析和推理复杂的逻辑关系。