第七讲 命题逻辑

　　一、小结
　　本讲主要介绍合取范式、析取范式、主合取范式与主析取范式的概念及求解方法，以及命题演算的推理理论。
　　1．合取范式与析取范式的概念
　　一个命题公式称为合取范式，当且仅当它具有形式：
　　A₁∧A₂∧…∧A_n ，　（n1）
　　其中A₁，A₂，…，A_n均是由命题变元或其否定所组成的析取式。
　　约定命题变元，如 P 为析取式。
　　一个命题公式称为析取范式，当且仅当它具有形式：
　　A₁∨A₂∨…∨A_n ，　（n1）