中国得有多少谎言啊。

直言三段论：

亚里士多德《前分析篇》中关于前3个格的14个三段论式。来自维基百科的直言三段论条目。

选言三段论http://zh.wikipedia.org/wiki/选言三段论

假言三段论：http://zh.wikipedia.org/wiki/假言三段论

第1格
AAA（Barbara）
所有M是P.
所有S是M.
∴所有S是P.

EAE（Celarent）
没有M是P.
所有S是M.
∴没有S是P.

AII（Darii）
所有M是P.
有些S是M.
∴有些S是P.

EIO（Ferio）
没有M是P.
有些S是M.
∴有些S不是P.

第2格
EAE（Cesare）
没有P是M.
所有S是M.
∴没有S是P.

AEE（Camestres）
所有P是M.
没有S是M.
∴没有S是P.

EIO（Festino）
没有P是M.
有些S是M.
∴某些S不是P.

AOO（Baroco）
所有P是M.
某些S不是M.
∴某些S不是P.

第3格[编辑]
AAI（Darapti）
所有M是P.
所有M是S.
∴有些S是P.
(这种形式需要假定某些M确实存在。)[1]

IAI（Disamis）
有些M是P.
所有M是S.
∴有些S是P.

AII（Datisi）
所有M是P.
有些M是S.
∴有些S是P.

EAO（Felapton）
没有M是P.
所有M是S.
∴有些S不是P.
(这种形式需要假定某些M确实存在。)[2]

OAO（Bocardo）
某些M不是P.
所有M是S.
∴某些S不是P.

EIO（Ferison）
没有M是P.
有些M是S.
∴某些S不是P.

增补的论式
第4格由亚里士多德的学生泰奥弗拉斯托斯补充[3]。
第4格[编辑]
AAI（Bramantip）
所有P是M.
所有M是S.
∴有些S是P.
(这种形式需要假定某些P确实存在)

AEE（Camenes）
所有P是M.
没有M是S.
∴没有S是P.

IAI（Dimaris）
有些P是M.
所有M是S.
∴有些S是P.

EAO（Fesapo）
没有P是M.
所有M是S.
∴有些S不是P.
(这种形式需要假定某些M确实存在)[5]

EIO（Fresison）
没有P是M.
有些M是S.
∴有些S不是P.