判断推理是否正确的方法 °真值表法 等值演算法 °主析取范式法 构造证明法 说明:当命题变项比较少时,用前3个方法比较方 便,此时采用形式结构“A1∧42^4k→>B”.而在 构 造证明时,采用“前提:A1A2…,A,结论:B4 判断推理是否正确的方法 • 真值表法 • 等值演算法 • 主析取范式法 • 构造证明法 说明：当命题变项比较少时，用前3个方法比较方 便, 此时采用形式结构“ A1A2…Ak→B” . 而在 构 造证明时，采用“前提: A1 , A2 , … , Ak , 结论: B