命题是一个非真即假的
陈述句。有两层意思，首先命题是一个陈述句，而
疑问句和感叹句都不是命题。其次这个陈述句所表达的内容可决定是真还是假，而且不是真的就是假的，不能不真又不假，也不能又真又假。
命题是直陈句的意义，是一种或真或假的思想。命题的特征在于它有真有假。如实反映事物情况的命题是真的，没有如实反映事物情况的命题是假的。
命题的种类
①原命题：一个命题的本身称之为原命题，如：若x>1，则f（x）=(x-1)^2单调递增。
②
逆命题：将原命题的条件和结论颠倒的新命题，如：若f（x）=(x-1)^2单调递增，则x>1。
③否命题：将原命题的条件和结论全否定的新命题，但不改变条件和结论的顺序，如：若x<=1，则f（x）=(x-1)^2不单调递增。
④
逆否命题：将原命题的条件和结论颠倒，然后再将条件和结论全否定的新命题，如：若f（x）=(x-1)^2不单调递增，则x<=1。
1陈述句
2能否判断真假
举个例子：“不抛弃，不放弃”和“难道
等边三角形不是
等腰三角形吗？”这两个句子前者是命题，后者不是。
“不抛弃，不放弃”为陈述句，而“难道等边三角形不是等腰三角形吗？”是
反问句，虽然反问的语气表肯定的意思，但在数学中是不正规的命题概念。
命题和判断(proposition and judgement)，两个相互关联的逻辑术语。命题是直陈句的意义，是一种或真或假的思想。推理是由命题组成的。命题的特征在于它有真有假。如实反映事物情况的命题是真的，没有如实反映事物情况的命题是假的。判断是断定者在一定时空条件下断言一命题是真的还是假的。直陈句是命题的语言表达，而命题则是直陈句的思想内容。同一命题可以由不同民族语言的语句表达。同一直陈句可以表达不同的命题，特别是包含代词的直陈句，在不同的
语言环境中更可以表达不同的命题。语句、命题和判断分别属于3个不同的领域 。
命题是由词项组成的，具体的命题包含各种各样的词项。有些词项，比如"或者"、"并且"、"如果，则"、"并非"、"所有"、"有"等，常常是不同的具体命题所共有的。这样的词项称为逻辑常项，它们并不指称任何确定的事物。逻辑常项与其他词项适当地搭配起来，就成为命题；这种搭配的方式或结构，就是命题形式。如在"2是偶数并且 3是奇数"和"2是正数并且-3是负数"中，都具有共同的逻辑常项"并且"，而"并且"在这两例中都联结两个命题（在这里叫做支命题）。这两个例子的命题形式是"...并且..."。"..."表示空位，也可以用变项表示，可以代入具体命题。如果命题形式中的变项都代之以具体的值，就得到一个命题。在比较"2是偶数并且3是奇数"与"3是奇数并且2是偶数"时，就会发现它们不仅都具有常项"并且",而且前例中在前的支命题即是后例中在后的支命题，前例中在后的支命题即是后例中在前的支命题。为了表示这种形式上的联系，需要采用不同的变项或空位。如，前例的形式是"...并且×××"，后例的形式是"×××并且..."。在同一上下文中，相同的变项必须用相同的值代入。实际上，说"2是偶数并且3是奇数"和"2是正数并且-3是负数"具有共同的形式，只是说它们都是由两个支命题通过常项"并且"(只出现一次）组成的。推理的前提和结论都是命题，而推理的有效性仅仅与前提和结论的形式有关。因此，
形式逻辑关于命题形式的研究是构成推理理论的基础。