命题逻辑是数学和计算机科学中的一个基本分支，主要研究命题及其之间的关系。命题是可以被判定为真或假的陈述，例如“今天是星期一”。命题逻辑使用符号和规则来分析这些命题的组合和推理。 在命题逻辑中，常用的逻辑连接词包括“与”（∧）、“或”（∨）、“非”（¬）和“蕴含”（→）。通过这些连接词，可以构建复杂的逻辑表达式，并利用真值表来确定其真值。命题逻辑在形式逻辑、自动推理和计算机程序设计中具有重要应用。