III. From the given premise. Indicate the rules of inference used and the corresponding premises used (20) 1 2 Premises: p → (q^r), s➜r, r→p. Prove: s →q. P→ (q^1) Premise S→T Premise Premise 1 2 3 4 5 6 7 8 9 1 p S 1 2 H P (q^1) 9 s➜q Premises: ~(r vs), ~p→s, p→q. Prove: q. --(1 V s) ~P→s P→q 3 4 5 -S 6 7 8 9 PYRO ~(~p) Premise Premise Premise

Algebra & Trigonometry with Analytic Geometry
13th Edition
ISBN:9781133382119
Author:Swokowski
Publisher:Swokowski
Chapter10: Sequences, Series, And Probability
Section10.5: The Binomial Theorem
Problem 16E
icon
Related questions
Question
III. From the given premise. Indicate the rules of inference used and the corresponding
premises used (20)
1
2
Premises: p → (q^r), s➜r, r→p. Prove: s →q.
P→ (q^1)
Premise
S→T
Premise
Premise
1
2
3
4
5
6
7
8
9
1 p
S
1
2
H
P
(q^1)
9
s➜q
Premises: ~(r vs), ~p→s, p→q. Prove: q.
--(1 V s)
~P→s
P→q
3
4
5 -S
6
7
8 9
PYRO
~(~p)
Premise
Premise
Premise
Transcribed Image Text:III. From the given premise. Indicate the rules of inference used and the corresponding premises used (20) 1 2 Premises: p → (q^r), s➜r, r→p. Prove: s →q. P→ (q^1) Premise S→T Premise Premise 1 2 3 4 5 6 7 8 9 1 p S 1 2 H P (q^1) 9 s➜q Premises: ~(r vs), ~p→s, p→q. Prove: q. --(1 V s) ~P→s P→q 3 4 5 -S 6 7 8 9 PYRO ~(~p) Premise Premise Premise
Expert Solution
steps

Step by step

Solved in 2 steps with 2 images

Blurred answer
Recommended textbooks for you
Algebra & Trigonometry with Analytic Geometry
Algebra & Trigonometry with Analytic Geometry
Algebra
ISBN:
9781133382119
Author:
Swokowski
Publisher:
Cengage