本文介绍命题逻辑(很少部分人叫它作零阶逻辑). 、一阶逻辑和二阶逻辑。这些形式推理的逻辑系统表达与推理能力依次增强。

命题逻辑：propositionnal logic

命题有真假，所以能称得上是命题的句子有一定的特点，比如不是一个问句，肯定是一个陈述句，进一步，即使是陈述句，也未必是命题。即命题是具有真假值的陈述句。

一般，我们去判断一个陈述句是不是命题，只要想想这个陈述句是不是有判断的意味即可。比如"5