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

Inference validity and comparison of its decision methods——Take proposition logic for example

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

In this paper,taking proposition logic as an example,the author will make a comparison between the methods.The purpose is not only to deepen the comprehension of logical soul,but also to cause the changes from spontaneous application to conscious applications.