逻辑学学习.3--- 命题逻辑 （一）：基本概念

演绎逻辑研究的一个基本分支就是命题逻辑，命题逻辑以命题为最小单位。它主要是研究复合命题中的真值函项复合命题，怎样由简单命题推导出真值函项复合命题。

一，基本概念

• 符号逻辑 就是把日常语言中的逻辑符号化，然后进行研究。

• 命题逻辑 是符号逻辑的基本内容，另一个是谓词逻辑。

  • 命题逻辑的最小单位是命题
  • 谓词逻辑的最小单位是词项

• 简单命题 是不包含其他命题的命题。

• 复合命题 是包含其他命题的命题。命题逻辑的研究对象主要是复合命题。
  复合命题包含两个基本成份：

  • 支命题

  • 联结词

    命题举例：

    “如果天上下雨，那么地上潮湿”

    “天上下雨”是一个支命题，是简单命题，再分割就是词项了。
    “地上潮湿”也是一个支命题，是简单命题，再分割就是词项。
    “如果…，那么…"是联结词

• 真值函项复合命题 该复合命题的结果真值唯一地取决于其支命题的真值。
  也就是说由其支命题的真值唯一地推导出复合命题的真值。
  推导方法有真值表方法（包括短真值表方法）和自然演绎方法。