中国得有多少谎言啊。
直言三段论：
亚里士多德《前分析篇》中关于前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.
