所謂“式”者即A、E、I、O四種命題在兩前提一結論中之各種不同的配合法。例如AAA即表示兩前提一結論均為A命題。
1. 各種不同的配合的總數——A、E、I、O四個命題分配作大小兩前提與結論之總數為以下六十四式：
AAA AEA AIA AOA
EAA EEA EIA EOA
IAA IEA IIA IOA
OAA OEA OIA OOA
AAE AEE AIE AOE
EAE EEE EIE EOE
IAE IEE IIE IOE
OAE OEE OIE OOE
AAI AEI AII AOI
EAI EEI EII EOI
IAI IEI III IOI
OAI OEI OII OOI
AAO AEO AIO AOO
EAO EEO EIO EOO
IAO IEO IIO IOO
OAO OEO OIO OOO
2. 但此六十四配合中有好些為普遍的三段論式規律所不能承認的，例如II、OO、EE等。從能得結論的前提方麵著想，這六十四配合之中，隻有以下的前提才能得結論：
此處除開兩特稱與兩否定的前提。照此似有三十六可能，但仍有限製。例如AAA雖可，而AAE則違規律。
3. 三段論式既分為四格，而各格又有各格之規律，則此三十六配合之中仍有不能得結論者。例如，IE雖不違通常的原則，但不合任何一格的特別規律，所以也不能認為是可以得結論的兩前提。在此種種限製之下，可能的式僅有以下十九個：
a. 第一格有四可能：
AAA，EAE，AII，EIO。
（一）請注意：大前提均全稱，
小前提均肯定。
（二）請注意：結論可以是A、E、I或O；那就是照以上第二說法所表示的，結論在第一格質與量均無限製。
b. 第二格有四可能：
EAE，AEE，EIO，AOO。
（一）請注意：兩前提中有一為否定命題，大前提均為全稱。