逻辑系统/三段论逻辑

三段论

三段论是一种推理，由三个陈述组成，其中结论作为两个给定前提的必然结果。 一个经典的三段论例子是

所有的人都是凡人（大前提）

所有希腊人都是人（小前提）

因此，所有希腊人都是凡人（结论）

陈述的性质

这些陈述中的每一个都据说是普遍肯定的（所有人都是凡人）、普遍否定的（没有人是凡人）、特别肯定的（有些人是凡人）或特别否定的（有些人不是凡人）。 一个普遍肯定的陈述可以用字母A表示。 一个普遍否定的陈述用字母E表示。 一个特别肯定的陈述用字母I表示，一个特别否定的陈述用字母O表示。 以上所有陈述都是普遍肯定的。

练习 1.1

说明以下每个陈述是普遍肯定、普遍否定、特别肯定还是特别否定，并用A、E、I或O表示它们。