(二)真值树法 1、判定功能 (1)判定一命题公式是否重言式 2)判定一组前提的一致性; (3)判定一个推理的有效性。 2、构造规则(分解规则) 合取并列、析取分枝、多重转化 3、构造步骤及注意事项 多重转化、合取先行、析取分枝、 4、具体应用（二）真值树法 1、判定功能 (1)判定一命题公式是否重言式； (2)判定一组前提的一致性； (3)判定一个推理的有效性。 2、构造规则(分解规则） 合取并列、析取分枝、多重转化 3、构造步骤及注意事项 多重转化、 合取先行、析取分枝、 4、具体应用