数理逻辑练习题及答案-3.docVIP

命题逻辑的推理 1. 判断下面推理是否正确。先将简单命题符号化，再写出前提、结论、推理的形式结 构(以蕴涵式的形式给出)和判断过程(至少给出两种判断方法) ： (1) 若今天是星期一，则明天是星期三；今天是星期一。所以明天是星期三。 (2) 若今天是星期一，则明天是星期二；明天是星期二。所以今天是星期一。 (3) 若今天是星期一，则明天是星期三；明天不是星期三。所以今天不是星期一。 (4) 若今天是星期一，则明天是星期二；今天不是星期一。所以明天不是星期二。 (5) 若今天是星期一，则明天是星期二或星期三。 (6) 今天是星期一当且仅当明天是星期三；今天不是星期一。所以明天不是星期三 2. 构造下面推理的证明： (1) 前提：pf (q f r), p, q 结论：r V s (2) 前提：pf q, n 佝「), r 结论：np (3) 前提：pfq 结论：pf (p A q) (4) 前提：qf p, qis, ^4, t A r 结论：pA q (5) 前提：pf r, q f s,/pq 结论：r A s (6) 前提：npV r, nVs, pA q 结论：t f (rV s) 3. 用附加前提法证明下面各推理： (1) 前提：pf (q f r), s f p, q 结论：s fr (2) 前提:(pV q) f (rA s), (sV t) fu 结论：pfu 4．