第一章命题逻辑全剖解.ppt

命题公式是千变万化的，这给研究命题演算带来困难，这里我们研究如何由一个命题公式化归为一个标准形式的问题，这样命题演算的研究问题就归结为对标准形式的研究问题，这种标准形式就叫范式。 析取范式(参考课本上的定义) 它是这样一种标准形式，在此式内不出现联结词 ?及?，否定符号只出现在命题变元前。它是一个析取式，式中的每个析取项是个合取式，每个合取式中只包含命题变元或命题变元的否定。 例如 ? p∨(p∧q)∨(q∧r) 此式即具有析取范式之形式 注意:一个公式的析取范式并不唯一，如p∨(r∧?q) ,可以写成(p∧p)∨(r∧?q) 合取范式 它是这样一种标准形式，在此式内不出现联结词?及?，否定符号只出现在命题变元前。它是一个合取式，式中的每个合取项是个析取式，每个析取式中只包含命题变元或命题变元的否定。 例如 ? p ∧(p∨q) ∧ (q ∨ r) 此式即具有合取范式之形式 注意:一个公式的合取范式并不唯一， 如 p ∧ (r ∨ ?q) 可以写成(p ∨ p) ∧(r ∨ ?q) 定义1.9 析取范式：由有限个简单合取式构成的析取式。 如：p ∨ ? q , (p ∧ q) ∨(p ∧ ? q ∧ r) 合取范式：由