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