<正>一、直言三段论的表述及其标准模式直言三段论的推理可表述为前提合取蕴涵结论式

也可以表述为二重蕴涵式

即:（M—P∧S—M）→S—P

或M—P→（S—M→S—P）前者的含义是;如果有大前提

并且有小前提.那么有结论.后者的含义是:如果有大前提

那么

如果有小前提

那么有结论.这两种表述式的含义完全一样.因此

二重蕴涵式与前提合取蕴涵式是等值的.三段论式的二重蕴涵化的理论根据是命题演算中的“蕴涵词引入规则”

此规则是说

如果从一系列命题A和一命题B能推出另一命题C

那么

从一系列命题A就可以推出以命题B为前件

命题C为后件的充分条件假言命题B→C.即:如果A∧B→C

那么A→（B→C）.事实上

（A∧B→C）←→[A→（B→C）]是重言式.本文所述的三段论模式变形推理.将采用二重蕴涵式的表述方式.