命题的概念是指一个判断句的语义。

命题分类：

亚里士多德在《工具论》，特别是其中的《范畴篇》中，研究了命题的不同形式及其相互关系，根据形式的不同对命题的不同类型进行了分类。亚里士多德把命题首先分为简单的和复合的两类，但他对复合命题并没有深入探讨。

他进而把简单命题按质分为肯定的和否定的，按量分为全称、特称和不定的命题。他还提到个体命题，这相当于后来所谓的以专名为主项、以普遍概念为谓项的单称命题。关于模态命题，他讨论了必然、不可能、可能和偶然这4个模态词。

命题的形式：

对于两个命题，如果一个命题的条件和结论分别是另外一个命题的结论和条件，那么这两个命题叫做互逆命题，其中一个命题叫做原命题，另外一个命题叫做原命题的逆命题。

对于两个命题，如果一个命题的条件和结论分别是另外一个命题的条件的否定和结论的否定，那么这两个命题叫做互否命题，其中一个命题叫做原命题，另外一个命题叫做原命题的否命题。

命题的几何命题及相互关系：

1、几何命题

如果两个三角形有两边分别等于两边，而且这些相等的线段所夹的角相等，那么，它们的底边等于底边，三角形全等于三角形，而且其余的角等于其余的角，即那等边所对的角。在等腰三角形中，两底角彼此相等；并且，若向下延长两腰，则在底以下的两角也彼此相等。

在已知线段上（从它的两个端点）作出相交于一点的二线段，则不可能在该线段（从它的两个端点）的同侧作出相交于另一点的另二条线段，使得作出的二线段分别等于前面二线段。即每个交点到相同端点的线段相等。由已知直线上一已知点可以作一直线和已知直线成直角。

2、相互关系

四种命题的相互关系：原命题与逆命题互逆，否命题与原命题互否，原命题与逆否命题相互逆否，逆命题与否命题相互逆否，逆命题与逆否命题互否，逆否命题与否命题互逆。