Given Premises (15) To find 2) pvr 3) ~q vrt 4) + As. = conclude p

Algebra & Trigonometry with Analytic Geometry
13th Edition
ISBN:9781133382119
Author:Swokowski
Publisher:Swokowski
Chapter2: Equations And Inequalities
Section2.6: Inequalities
Problem 80E
icon
Related questions
Question

Discrete Mathematics.

I need help with solving this inference question. Is this solution correct? If it is not, correct please provide the correct solution with detailad explanation.

Thanks.

Given Premises (915)
2
2)
pvr
3) ~q vrt
4 +As.
To find conclude p.
Step 2: Calculation
Solution - - (9.45)... [premises]
pvr
-..[premises]
Ⓒqvut [premises]
+19
Ⓒ+
[premise]
Simplification of
PAq
LP
[Disjunctive syllogism of @ and PVL
"q
Ⓒ++ [simplification of pla]
- P
[ Modus tollens of @ and © P+2
"q
cup
[Disjunctive syllogism of and Ⓒ
Hence, proved
pvq
"q
P
Transcribed Image Text:Given Premises (915) 2 2) pvr 3) ~q vrt 4 +As. To find conclude p. Step 2: Calculation Solution - - (9.45)... [premises] pvr -..[premises] Ⓒqvut [premises] +19 Ⓒ+ [premise] Simplification of PAq LP [Disjunctive syllogism of @ and PVL "q Ⓒ++ [simplification of pla] - P [ Modus tollens of @ and © P+2 "q cup [Disjunctive syllogism of and Ⓒ Hence, proved pvq "q P
Expert Solution
steps

Step by step

Solved in 3 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
Algebra for College Students
Algebra for College Students
Algebra
ISBN:
9781285195780
Author:
Jerome E. Kaufmann, Karen L. Schwitters
Publisher:
Cengage Learning
Intermediate Algebra
Intermediate Algebra
Algebra
ISBN:
9781285195728
Author:
Jerome E. Kaufmann, Karen L. Schwitters
Publisher:
Cengage Learning
Elementary Geometry For College Students, 7e
Elementary Geometry For College Students, 7e
Geometry
ISBN:
9781337614085
Author:
Alexander, Daniel C.; Koeberlein, Geralyn M.
Publisher:
Cengage,