P46 例3.3 (1)前提: p∨q, q→r, p→s, ┐s结论:r ∧ (p∨q)
P46 例3.3 (1)前提: p∨q, q→r, p→s, ┐s结论:r ∧ (p∨q)
发布时间：2025-08-24 04:53:00
请在 下方输入 要搜索的题目：
推荐参考答案 (
由 快搜搜题库 官方老师解答 )
答案：证明:① p→s 前提引入 ② ┐s 前提引入 ③ ┐p ①②拒取式 ④ p∨q 前提引入 ⑤ q ③④析取三段论 ⑥ q→r 前提引入 ⑦ r ⑤⑥假言推理 ⑧ r∧(p∨q) ⑦④合取
相关试题
- 1.P46 例3.3 (1)前提: p∨q, q→r, p→s, ┐s结论:r ∧ (p∨q)
- 2.证明下列各式的有效性：（1）R→¬Q，R∨S，S→¬Q，P→QÞ¬P（2）S→¬Q，R∨S，¬R，¬P→QÞP（3）¬（P→Q）→¬（R∨S），（Q→P）∨¬R，RÞP↔Q（4）P→（Q→R），R→（S
- 3.A、(p∧q→r)→(p→r)∨(q→r)B、(p→r)∨(q→r)→(p∧q→r)C、(p∨q→r)→(p→r)∧(q→r)D、(p→r)∧(q→r)→(p∨q→r)
- 4.由前提(p∧q)→r，┐r可以得到有效结论：┐p
- 5.【单选题】如果明天天晴(p)并且单位不加班(q),那我们或者去游泳(r)或者去划船(s)。 上述命题的真值形式是()。
- 6.证明:((Q A S) T R) A (S T (R)Y= (S A (P Q)) R.
- 7.用等值演算法证明等值式（1）、((p→q)∧(p→r))<=>(p→(q∧r));（2）、(p∧q)∨(p∧¬q)<=>p.附：
- 8.¬(r ∨ s) → ¬(p ∨ q), p, (s → r) ∨ ¬p ⇒ r
- 9.给命题变元 p， q， r ， s 分别指派真值 1 ， 1 ， 0 ， 0 ， 则命题公式p ∨（ q→（ r ∧┐p））↔ q ∨┐s 的真值为0.
- 10.“p→r，q→r，p∨q├r”这一推理式是二难推理的
