邏輯系統/三段論邏輯

三段論

三段論是一種推理，由三個陳述組成，其中結論作為兩個給定前提的必然結果。 一個經典的三段論例子是

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

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

因此，所有希臘人都是凡人（結論）

陳述的性質

這些陳述中的每一個都據說是普遍肯定的（所有人都是凡人）、普遍否定的（沒有人是凡人）、特別肯定的（有些人是凡人）或特別否定的（有些人不是凡人）。 一個普遍肯定的陳述可以用字母A表示。 一個普遍否定的陳述用字母E表示。 一個特別肯定的陳述用字母I表示，一個特別否定的陳述用字母O表示。 以上所有陳述都是普遍肯定的。

練習 1.1

說明以下每個陳述是普遍肯定、普遍否定、特別肯定還是特別否定，並用A、E、I或O表示它們。