直言命题是逻辑学中的一种基本命题类型，用于表达主项是否具有某种谓项所描述的属性。根据联项（是或不是）和量项（所有或部分），直言命题可以分为以下四种：

全称肯定命题 （SAP）

表达：所有的S都是P

例子：所有的苹果都是红色的

全称否定命题 （SEP）

表达：所有的S都不是P

例子：没有任何苹果是红色的

特称肯定命题 （SIP）

表达：有些S是P

例子：有些苹果是红色的

特称否定命题 （SOP）

表达：有些S不是P

例子：有些苹果不是红色的

这些命题是逻辑推理的基础，帮助我们理解和分析论证和论点