命题是一个非真即假（不可兼）的陈述句.有两层意思,
首先命题是一个陈述句,而命令句、疑问句和感叹句都不是命题.
其次是说这个陈述句所表达的内容可决定是真还是假,
而且不是真的就是假的,不能不真又不假,也不能又真又假.
凡与事实相符的陈述句为真语句,而与事实不符的陈述句为假语句.
这就是说,一个命题具有两种可能的取值（又称真值）为真或为假,
又只能取其一.通常用大写字母T表示真值为真,
用F表示真值为假,有时也可分别用1和0表示它们.
因为只有两种取值,所以这样的命题逻辑称为二值逻辑.
我们把以这种非真必假的命题作为研究对象的逻辑称为古典逻辑,
但也有人反对关于命题的这种观点,认为存在既不真也不假的命题,
例如：直觉主义逻辑、多值逻辑等.