1
6用等价演算法判定P(QR)PQR的命题公式类型？ 7. 用两种方法求(ABC) (A(BC))的主析取范式与主合取范式。 8. 用范式法证明Ｐ∨（¬ Ｐ∧Ｑ）Ｐ∨Ｑ 9.证明P （Q R）（P Q） （P R）(要求给出三种证明)。 10.用推理规则论证下述问题： 或者是天晴，或者是下雨。如果是天晴，我去看电影。如果我去看电 影，我就不看书。所以，如果我在看书，则天在下雨。
作业1
1.符号化下列命题： （1）辱骂和恐吓决不是战斗； （2）除非天气好，否则我是不会去公园的； （3）如果晚上做完作业且没有其它的事，他就会去看电视或听音乐。
2. 画出P(QR)和PQR的真值表 。
3用两种方法.证明：P(Ｑ）（Ｐ∧Ｑ）的析取范式
2