去找 QQ头像 http://www.7zhao.net
主析取范式法：
?p?q???p??q???p?q???p??q?(??p??p???q??p?)??q??p??q?p??q?M1?m0?m2?m3，从而可知不是重言式，故推理不正确。
（5）设p：今天是星期一，q：明天是星期二，r：明天是星期三。推理的形式结构为p?q?r。
p?(q?r)??p?q?r?M4?m0?m1?m2?m3?m4?m5?m6?m7，由此可知p?(q?s)不为重言式，
故推理不正确。
显然该式不是重言式，所以推理不正确。
（6）设p：今天是星期一，r：明天是星期三，推理的形式结构为(p?r)??p??r。
(p?r)??p??r??((p?r)?(r?p)??p)??r??(?p?r)??(?r?p)?p??r?(p??r)?(?p?r)?p??r?p?(?p?r)??r?p?m4?m5?m6?m7
7.在下面各推理中没给出结论。请对于每个推理前提给出两个结论，使其中之一是有效的，而另一个不是有效的：
（1）前提：p?q，q?r （2）前提：(p?q)?r，?r，q （3）前提：p?(q?r)，p，q
解：（1）结论1：p?r为有效的（假言三段论） 结论2：p为无效的。
（2）结论1：??p?q?是有效的（拒取式）
结论2：p是无效的
，由此可知不为重言式，故推理不正确。
（3）结论1：(q?r)是有效的（假言三段论）
结论2：r是无效的
8.在下面各推理中没给出结论，请对于每个推理前提给出两个结论，使其中之一是有效的，而另一个不是有效的。
（1）只有天气热，我才去游泳。我正在游泳，所以??
文章来源：http://www.7zhao.net
去找 QQ头像 http://www.7zhao.net
（2）只有天气热，我就去游泳。我没去游泳，所以??
（3）除非天气热并且我有时间，我才去游泳。天气不热或我没时间，所以?? 解：
（1）设p：天气热，q：我去游泳 前提：q?p,q
结论1：p，有效结论（假言推理） 结论2：?p，无效结论
（2）设p：天气热，q：我去游泳。 前提：p?q,?q
结论1：?p，有效结论（拒取式） 结论2：p，无效结论
（3）设p：天气热，q：我有时间，r：我去游泳。
前提：r??p?q?,?p??q 结论1：?r，有效结论（拒取式） 结论2：r，无效结论。
9.用三种方法（真值表法，等值演算法，主析取范式法）证明下面推理是正确的：
若a是奇数，则a不能被2整除。若a是偶数，则a能被2整除。因此，如果a是偶数，则a不是奇数。
解：设p：a是奇数，q：a能被2整除，r：a是偶数。
推理的形式结构为?p??q???r?q???r??p?（*）。下面用三种方法证明该式为重言式：
（1） 真值表法：
p q r 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 (p??q)?(r?q) 0 1 0 0 0 1 1 1 (r??p) 1 1 1 1 1 0 1 0 * 1 1 1 1 1 1 1 1 由真值表可知（*）为重言式，故推理是正确的。
（2） 等值演算法：
文章来源：http://www.7zhao.net
去找 QQ头像 http://www.7zhao.net
?p??q???r?q???r??p????p??q????r?q????r??p???p?q????q?r???p??r???p?q???p?????q?r???r?(交换律，结合律) ???p?q????q??r???p??q??q???r?1
（3） 构造证明法：
前提：?p??q?,?r?q? 结论：?r??p?
证明：
①p??q 前提引入 ②q??p ①置换 ③r?q 前提引入
④r??p ③②假言三段论 主析取范式法
由方法2可以得知推理的形式结构（*）的主析取范式为
(*)?m0?m1?m2?m3?m4?m5?m6?m7，则（*）为重言式，推理正确。
10.用两种方法（真值表法，主析取范式法）证明下面推理不正确：
如果a,b两数之积是负数，则a,b之中恰有一个是负数。a,b两数之积不是负数，所以a,b中无负数。
真值表法：
(q??r)?(?q?r) p?(q??r)?(?q?r) ?q??r p q r A 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 0 1 1 0 0 1 1 0 1 1 1 1 0 1 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 1 1 推理不正确
主析取范式法：
(p?((q??r)?(?q?r))?(?q?r))??p)?(?q??r)?(?p?(q??r)?(?q?r)??p?(?q??r))??p?(?q??r)?p?(?q??r)?m0?m4?m5?m6?m7文章来源：http://www.7zhao.net
去找 QQ头像 http://www.7zhao.net
由于主析取范式只含有5个极小项，所以（3.8）不是重言式，推理不正确。
11.填充下面推理证明中没有写出的推理规则。 前提：?p?q，?q?r，r?s，p 结论：s 证明:
①p 前提引入 ②?p?q 前提引入 ③q 析取三段论 ④?q?r 前提引入
⑤r 析取三段论 ⑥r?s 前提引入 ⑦s 假言推理
12.填充下面推理证明中没有写出的推理规则。 前提：p?(q?r)，q?(r?s) 结论：(p?q)?s
证明：
①p?q 附加前提引入 ②p 化简规则 ③q 化简规则 ④p?(q?r) 前提引入 ⑤q?r 前提引入 ⑥r ③⑤假言推理 ⑦q?(r?s) 前提引入 ⑧r?s ③⑦假言推理 ⑨s ⑥⑧假言推理
13.前提：?(p?q)?q，p?q，r?s
结论1：r 结论2：s 结论3：r?s
（1）证明从此前提出发，推出结论1，结论2，结论3的推理都是正确的。 （2）证明从此前提出发，推任何结论的推理都是正确的。
（1） 证明：
结论1：
文章来源：http://www.7zhao.net