直言命題

直言命题是陈述一个类与另一个类之间的包含关系的命题。在经典逻辑看来，直言命题是演绎推理的基本构件。[1]

直言命题可以根据其“质”和“量”分为四种标准直言命题：

• 全称肯定命题（A命题）：所有S是P。

• 全称否定命题（E命题）：没有S是P。

• 特称肯定命题（I命题）：有S是P。

• 特称否定命题（O命题）：有S不是P。

A、E、I、O的命名是基于拉丁语affirmo（我肯定），以及nego（我否认）。大量句子都可以翻译成这些标准形式之一，同时保留其全部或大部分的原始含义。

四种标准直言命题之间有四种对立关系（opposition）：矛盾关系、反对关系、下反对关系、差等关系。它们可以用对立四边形图示。通过对当关系可以作出直接推理。

由三个直言命题（两个作为前提， 一个作为结论）组成的论证被称为直言三段论，属于间接推理。