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