推理有效性的判定方法及其特点比较——以命题逻辑为例

以命题逻辑为例,对其有效性的判定方法进行分析比较,旨在加深人们对逻辑灵魂的理解,并促成由自发运用到自觉运用的转变。