1.什么是三段论的式?

三段论的式,就是A、E、I、O四种判断在两个前提和结论中的各种不同组合所构成的三段论形式。

例如:

任何科学都是不断发展的,　　　　(A)

马克思主义是科学,　　　　　　　(A)

所以,马克思主义是不断发展的。　(A)

这个推理的大、小前提和结论都是A判断,因此,它的式是AAA式。

2.三段论的可能式和有效式。

在三段论的每格中,A、E、I、0四种判断都可以分别作为大、小前提和结论,其组合数目是:4×4×4= 64。因此,就其可能性而言,每格有64个式。三段论共有四个格,因此,三段论的可能式共有64×4=256个。

对于三段论的所有可能式,都可以依据一般规则或各格的具体规则,判定它是否有效,经过筛选,三段论的有效式有24个。如下图表:

上述24个有效式中,有5个带括号,称为弱式,所谓弱式,是指本来可以得出全称的结论,但却只得出了特称的结论。其余19个没有带括号的称为强式。