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

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

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

  • 逻辑连接词:

    • 否定(¬):表示”非”
    • 合取(∧):表示”且”
    • 析取(∨):表示”或”
    • 蕴含(→):表示”如果…那么…”
    • 等价(↔):表示”当且仅当”
  • 真值表:用于表示复合命题在不同情况下的真值。

    • 永真式:在所有可能的赋值下都为真的命题。
    • 永假式:在所有可能的赋值下都为假的命题。
  • 可满足式:至少在一种赋值下为真的命题。

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

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

  • 命题公式:***

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