推理有效性的判定方法及其特点比较——以命题逻辑为例
추리유효성적판정방법급기특점비교——이명제라집위례
Inference validity and comparison of its decision methods——Take proposition logic for example