分类:命题逻辑

命题逻辑(propositional logic)，也称为零阶逻辑(zero-order logic, ZOL)。 研究命题之间的逻辑关系演算，且命题的真值只有真假两种。 在命题逻辑中，命题基于原子命题和逻辑联结词形式化，并且可以通过形式化公理系统的公理和推理规则进行推理，即演绎及证明。