##### 命题逻辑 - 命题逻辑 - **命题逻辑**是[[经典逻辑]]的一个分支, 用于研究命题之间的逻辑关系和推理规则, 它以[[命题]]为基本单位, 通过[[逻辑联结词]]和[[推理规则]]分析命题的真假值及推理的有效性. [[合式公式]]是由命题变量, 逻辑联结词和括号通过有限次应用语法规则构成的表达式, 用于表达命题及其逻辑关系. [[真值表]]列出了所有可能的命题组合及其对应的真值, 两个命题和可以没有实质逻辑关系, 只要关注它们各自的真值性. 命题演算是命题逻辑的形式化 - 命题 $p$ 可以表示今天是星期一 - 命题 $q$ 可以表示今天会下雨