滸你一世諾誩1. 设命题p1，p2的真值为1，p3，p4真值为0，求命题
(p1?(p2?(p3??p1)))?(p2??p4)的真值。
2. 给定3个命题：p：北京比天津人口多；q：2大于1；r：15是素数。 求复合命题：
(q?r)?(p??r)的真值。
3. 用等值演算法和真值表法判断公式A?((p?q)?(q?p))?(p?q)的类型。 4. 下列问题，若成立请证明，若不成立请举出反例：
已知p?r?q?r，问p?q成立吗？ 已知?p??q，问p?q成立吗？
5. 如果厂方拒绝增加工资，那么罢工就不会停止，除非罢工超过一年并且工厂撤换了厂长。
问：若厂方拒绝增加工资，罢工刚开始，罢工是否能够停止。
6. 或者逻辑难学，或者有少数学生不喜欢它；如果数学容易学，那么逻辑并不难学。因此，如
果许多学生喜欢逻辑，那么数学难学。
7. 用反证法证明(p?q),(p?r),(q?s)?s?r。
8. 用CP规则证明p?(q?r),r?(q?s)?p?(q?s)。 9. 用CP规则证明：(s?q)?r,?r?p10. p?q?r?s,s?t?u?p?u
,?p?s??q
