命题是什么
命题是一个逻辑学名词，具体解释如下：
在现代哲学、数学、逻辑学、语言学中，命题是指一个判断句的语义，这个概念是可以被定义并观察的现象。命题不是指判断句本身，而是指所表达的语义。当相异的判断句具有相同的语义的时候，他们表达相同的命题。在数学中，一般把判断某一件事情的陈述句叫做命题。
命题分类：
亚里士多德在《工具论》，特别是其中的《范畴篇》中，研究了命题的不同形式及其相互关系，根据形式的不同对命题的不同类型进行了分类。亚里士多德把命题首先分为简单的和复合的两类，但他对复合命题并没有深入探讨。
他进而把简单命题按质分为肯定的和否定的，按量分为全称、特称和不定的命题。他还提到个体命题，这相当于后来所谓的以专名为主项、以普遍概念为谓项的单称命题。亚里士多德着重讨论了后人以A、E、I、O为代表的4种命题。
关于模态命题，他讨论了必然、不可能、可能和偶然这4个模态词。亚里士多德所说的模态，是指事件发生的必然性、可能性等。
亚里士多德以后的逻辑学家，如泰奥弗拉斯多、麦加拉学派和斯多阿学派的逻辑学家，以及中世纪的逻辑学家等，又对包含有命题联结词"或者"、"并且"、"如果，则"等的复合命题进行了不断的探讨，从而丰富了逻辑学关于命题的学说。
传统逻辑分类：
19世纪下半叶欧洲逻辑读本对命题的分类不尽一致。大体说来，按关系即按命题主谓项之间的关系分，有直言命题、假言命题（后件主谓项的联系以前件为条件）和选言命题（谓项之间对主项有选择关系）。
从质的角度分，有肯定命题和否定命题。从量的角度分，有全称命题，包括单称命题、普遍命题（凡S是P）和特称命题。这些传统逻辑读本在讨论选言命题时，也往往论及联言命题、分离命题（非A并且非B）等。
另外，还有一类可解析命题也是常常提到的。在这类命题中，有一种叫区别命题，其形式为"只有S才是P"；还有一种叫除外命题，其形式为"除是M的S外每个S是P"。
