命题自然推理方法刍议

本文考察了六种命题自然推理方法。这些方法各具特点，并分别适用于不同场合──“条件推演法”适用于推得蕴涵式．“分情况证明法”适用于前提中有析取式的场合，等等。这些方法可分做“直接推演法”和“间接推演法”两类。称间接推演法为“假设演绎法”这样一种传统的说法是不合适的。这些方法为命题自然推理的运用提供了一种有力而方便的工具。