三段论有效式亦称“三段论的正确式”。

是指在三段论的可能式(共二百六十五个)中,一切符合三段论规则(包括各个格的特殊规则)的式。

也即是在三段论的全部可能式中,除去所有的无效式以后所余下的式。

这样的三段沦的有效式共计还有十一个。如:AAA、AAI、AEE、AE0、AII、A00;EAE、EAO、EIO、IAI、OAO。