用演绎推理法证明推理公式。 ¬(r ∨ s) → ¬(p ∨ q), p, (s → r) ∨ ¬p ⇒ r
用演绎推理法证明推理公式。 ¬(r ∨ s) → ¬(p ∨ q), p, (s → r) ∨ ¬p ⇒ r
发布时间：2025-03-09 17:54:12
请在 下方输入 要搜索的题目：
推荐参考答案 (
由 快搜搜题库 官方老师解答 )
答案：1.p P
2. (s → r) ∨ ¬p P
3.s → r T(1)(2)
4.p ∨ q T(1)
5.¬(r ∨ s) → ¬(p ∨ q) P
6.r ∨ s T(4)(5)
7.r ∨ ¬s E(3)
8.(r ∨ s)∧(r ∨ ¬s) T(6)(7)
9.r ∨ (s∧¬s) E(8)
10.r E(9)
相关试题
- 1.用演绎推理法证明推理公式。 ¬(r ∨ s) → ¬(p ∨ q), p, (s → r) ∨ ¬p ⇒ r
- 2.证明:((Q A S) T R) A (S T (R)Y= (S A (P Q)) R.
- 3.给命题变元 p， q， r ， s 分别指派真值 1 ， 1 ， 0 ， 0 ， 则命题公式p ∨（ q→（ r ∧┐p））↔ q ∨┐s 的真值为0.
- 4.由前提(p∧q)→r，┐r可以得到有效结论：┐p
- 5.命题公式(p∧q)∨r的主合取范式是（）
- 6.求公式的主析取范式和主合取范式：(P→Q)∧R
- 7.给定关系 R 和 S : R 1 2 3 4 A1 B1 C1 D1 A1 B1 C2 D2 A1 B1 C3 D3 A2 B2 C1 D1 A2 B2 C2 D2 A3 B3 C1 D1 S 1 2
- 8.下列哪些选项是合式公式(P→Q)↔R的主合取范式（）。
- 9.函数文件如下： function [s,p]=fcircle(r)s=pi*r*rp=2*pi*r该函数文件用于求解圆的（ ）
- 10.T h e m e d i a n n e r v e a r i s e f r o m t h e ( )A . c e r v i c a l p l e x u s B . b r a c h
