学科知识的分析角度 命题推理形式有效性的传统判定方法 命题推理形式有效性的现代判定方法 真值表法 真值树法 命题演算自然演绎法学科知识的分析角度 ⚫ 命题推理形式有效性的传统判定方法 ⚫ 命题推理形式有效性的现代判定方法 ➢ 真值表法 ➢ 真值树法 ➢ 命题演算自然演绎法