回顾 2 问题1：什么是命题逻辑？ -与命题真假有关的判断 问题2：如何判断命题表达式的真假？ 。真值表与逻辑等价 问题3：如何判定命题可满足？ -NPC完全问题；范式与主范式回顾 2 问题1：什么是命题逻辑？ - 与命题真假有关的判断 问题2：如何判断命题表达式的真假？ - 真值表与逻辑等价 问题3：如何判定命题可满足？ - NPC完全问题；范式与主范式