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