4. Construct proofs for the following theorems, starting with an assumption, not with the theorem itself, which is the conclusion you must reach, not the initial premise! (= Unit 9 - plus the rules from Units 7 and 8) [1 mark each]. a. (~ (p. q) = (sv r)) > (~ (p > ~s) > ~ q) b. p (p. (q v~q)) c. ((pq) (q> r)) v (r > p) d. ((pvq) (r. ~s)) (s ((t. w) > ~ p))
4. Construct proofs for the following theorems, starting with an assumption, not with the theorem itself, which is the conclusion you must reach, not the initial premise! (= Unit 9 - plus the rules from Units 7 and 8) [1 mark each]. a. (~ (p. q) = (sv r)) > (~ (p > ~s) > ~ q) b. p (p. (q v~q)) c. ((pq) (q> r)) v (r > p) d. ((pvq) (r. ~s)) (s ((t. w) > ~ p))
Algebra and Trigonometry (6th Edition)
6th Edition
ISBN:9780134463216
Author:Robert F. Blitzer
Publisher:Robert F. Blitzer
ChapterP: Prerequisites: Fundamental Concepts Of Algebra
Section: Chapter Questions
Problem 1MCCP: In Exercises 1-25, simplify the given expression or perform the indicated operation (and simplify,...
Related questions
Question
![4. Construct proofs for the following theorems, starting with an
assumption, not with the theorem itself, which is the conclusion you must
reach, not the initial premise! (= Unit 9 - plus the rules from Units 7 and
8) [1 mark each].
a. (~ (p. q) = (sv r)) > (~ (p > ~s) > ~ q)
b. p (p. (q v~q))
c. ((pq) (q> r)) v (r > p)
d. ((pvq) (r. ~s)) (s ((t. w) > ~ p))](/v2/_next/image?url=https%3A%2F%2Fcontent.bartleby.com%2Fqna-images%2Fquestion%2Fcf425404-2167-4a1b-b546-cccac75299ab%2Fb5552096-1eda-4f87-a46e-1dde10eff250%2Fo5qnabj_processed.png&w=3840&q=75)
Transcribed Image Text:4. Construct proofs for the following theorems, starting with an
assumption, not with the theorem itself, which is the conclusion you must
reach, not the initial premise! (= Unit 9 - plus the rules from Units 7 and
8) [1 mark each].
a. (~ (p. q) = (sv r)) > (~ (p > ~s) > ~ q)
b. p (p. (q v~q))
c. ((pq) (q> r)) v (r > p)
d. ((pvq) (r. ~s)) (s ((t. w) > ~ p))
Expert Solution
![](/static/compass_v2/shared-icons/check-mark.png)
This question has been solved!
Explore an expertly crafted, step-by-step solution for a thorough understanding of key concepts.
Step by step
Solved in 2 steps with 4 images
![Blurred answer](/static/compass_v2/solution-images/blurred-answer.jpg)
Similar questions
Recommended textbooks for you
![Algebra and Trigonometry (6th Edition)](https://www.bartleby.com/isbn_cover_images/9780134463216/9780134463216_smallCoverImage.gif)
Algebra and Trigonometry (6th Edition)
Algebra
ISBN:
9780134463216
Author:
Robert F. Blitzer
Publisher:
PEARSON
![Contemporary Abstract Algebra](https://www.bartleby.com/isbn_cover_images/9781305657960/9781305657960_smallCoverImage.gif)
Contemporary Abstract Algebra
Algebra
ISBN:
9781305657960
Author:
Joseph Gallian
Publisher:
Cengage Learning
![Linear Algebra: A Modern Introduction](https://www.bartleby.com/isbn_cover_images/9781285463247/9781285463247_smallCoverImage.gif)
Linear Algebra: A Modern Introduction
Algebra
ISBN:
9781285463247
Author:
David Poole
Publisher:
Cengage Learning
![Algebra and Trigonometry (6th Edition)](https://www.bartleby.com/isbn_cover_images/9780134463216/9780134463216_smallCoverImage.gif)
Algebra and Trigonometry (6th Edition)
Algebra
ISBN:
9780134463216
Author:
Robert F. Blitzer
Publisher:
PEARSON
![Contemporary Abstract Algebra](https://www.bartleby.com/isbn_cover_images/9781305657960/9781305657960_smallCoverImage.gif)
Contemporary Abstract Algebra
Algebra
ISBN:
9781305657960
Author:
Joseph Gallian
Publisher:
Cengage Learning
![Linear Algebra: A Modern Introduction](https://www.bartleby.com/isbn_cover_images/9781285463247/9781285463247_smallCoverImage.gif)
Linear Algebra: A Modern Introduction
Algebra
ISBN:
9781285463247
Author:
David Poole
Publisher:
Cengage Learning
![Algebra And Trigonometry (11th Edition)](https://www.bartleby.com/isbn_cover_images/9780135163078/9780135163078_smallCoverImage.gif)
Algebra And Trigonometry (11th Edition)
Algebra
ISBN:
9780135163078
Author:
Michael Sullivan
Publisher:
PEARSON
![Introduction to Linear Algebra, Fifth Edition](https://www.bartleby.com/isbn_cover_images/9780980232776/9780980232776_smallCoverImage.gif)
Introduction to Linear Algebra, Fifth Edition
Algebra
ISBN:
9780980232776
Author:
Gilbert Strang
Publisher:
Wellesley-Cambridge Press
![College Algebra (Collegiate Math)](https://www.bartleby.com/isbn_cover_images/9780077836344/9780077836344_smallCoverImage.gif)
College Algebra (Collegiate Math)
Algebra
ISBN:
9780077836344
Author:
Julie Miller, Donna Gerken
Publisher:
McGraw-Hill Education