间接推演法相关硕士博士期刊学术论文

本文考察了六种命题自然推理方法。这些方法各具特点，并分别适用于不同场合──“条件推演法”适用于推得蕴涵式．“分情况证明法”适......