命题是有真假可言的直述(indicative)语句。所谓语句(sentence)是指文法上表达完整思想的字群，分为四种：直述句、疑问句、命令句，及感叹句。因为只有直述句可以用「真」或「假」来陈述，而且不是作肯定的形式，就是作否定的形式，所以在逻辑推论中作为前提以及结论的语句，只考虑直述句，而不考虑其他形式的语句。也就是说，一个问题（如「德可教吗？」），一道命令（如「不要偷窃！」），或一种感谓（如「以身殉道真是感人啊！」）等，因无法判断其为真或假，所以都不能用来作为命题。 传统逻辑中有「A」、「I」、「E」、「O」四种普通命题：A是全称肯定命题，例如「所有人都是哲学的爱好者」；I是特称肯定命题，例如「有些人是哲学的爱好者」；E是全称否定命题，例如「所有人都不是哲学的爱好者」；O是特称否定命题，例如「有些人不是哲学的爱好者」。A、I、E、O这四种命题之间的真假关系，在亚里斯多德(Aristotle)的着作里有颇为详尽的讨论，构成所谓的「四角对当关系」(The Square of Opposition)。简单来说，A与E两个命题是「全对立」(Contraries)的关系，即两者可以同假，不可能同真。I与O两者是「半对立」(Subcontraries)的关系，即可以同真，不能同假。A与O，及I与E称为「矛盾」(contradictories)的关系，也就是此真彼假，此假彼真。至于A与I，和E与O都是「等差」(subalternates)的关系，也就是A真则I真，I真则A真假不定；A假则I真假不定，I假则A假。 有些逻辑学家对命题的存有状况(ontological status)存疑，主张使用「语句」一词来取代「命题」。因为有些命题，虽然具备相同的文法形式，但从逻辑的观点来看，并不是真正的命题；特别是像那些说某某事（如偷窃）是错的，不应该去做等类似的宣称，虽然文法上是直述的，逻辑上却是命令的或甚至是感叹的，所以并不是真正在表达命题。然而使用「命题」这个词来说明语句的「意义」还是较为恰当。语句是由一个个具体的语言符号所结合而成的符号单位，而命题却是看不见的，是抽象的；因而不同的语句，可能有相同的「意义」，例如「地球是圆的」与「The earth is round」这两个语句表达的形式固然不同，但它们表达的意义却是相同的，也就是说在逻辑上二者是相同的命题。
