直言命题
陈述一个类与另一个类之间的包含关系的命题 / 维基百科,自由的 encyclopedia
直言命题是陈述一个类与另一个类之间的包含关系的命题。在经典逻辑看来,直言命题是演绎推理的基本构件。[1]
直言命题可以根据其“质”和“量”分为四种标准直言命题:
- 全称肯定命题(A命题):所有S是P。
- 全称否定命题(E命题):没有S是P。
- 特称肯定命题(I命题):有S是P。
- 特称否定命题(O命题):有S不是P。
A、E、I、O的命名是基于拉丁语affirmo(我肯定),以及nego(我否认)。大量句子都可以翻译成这些标准形式之一,同时保留其全部或大部分的原始含义。
四种标准直言命题之间有四种对立关系(opposition):矛盾关系、反对关系、下反对关系、差等关系。它们可以用对立四边形图示。通过对当关系可以作出直接推理。
由三个直言命题(两个作为前提, 一个作为结论)组成的论证被称为直言三段论,属于间接推理。