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