查看“︁分类:命题逻辑”︁的源代码

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


[[分类:数理逻辑]]
[[分类:逻辑学]]