直言三段论

直言三段论是所有前提侪是直言命题个演绎推理。

三段论形式如下：
大前提：所有M是P。
小前提：所有S是M。
结论：所有S是P。

其中S代表结论个主词（Subject），P代表结论个谓词（Predicate），M代表中词（Middle）。