2. Construct proofs for the following, using inference and replacement rules, but without using C.P. or I.P. (= only using the rules from Units 7 and 8) [0.75 mark each]. a. C (Av B), B = (E. F), ~ (F v A) /.. ~ C b. AB, (BvF), (A. D) > F/..~ (B v D) C. Q = ~(Av B), P > ~(Q v ~ T), ~(SW), (Q > X) > ~ (S. W) 7. (PB). ~ (XvA)
2. Construct proofs for the following, using inference and replacement rules, but without using C.P. or I.P. (= only using the rules from Units 7 and 8) [0.75 mark each]. a. C (Av B), B = (E. F), ~ (F v A) /.. ~ C b. AB, (BvF), (A. D) > F/..~ (B v D) C. Q = ~(Av B), P > ~(Q v ~ T), ~(SW), (Q > X) > ~ (S. W) 7. (PB). ~ (XvA)
Algebra: Structure And Method, Book 1
(REV)00th Edition
ISBN:9780395977224
Author:Richard G. Brown, Mary P. Dolciani, Robert H. Sorgenfrey, William L. Cole
Publisher:Richard G. Brown, Mary P. Dolciani, Robert H. Sorgenfrey, William L. Cole
Chapter2: Working With Real Numbers
Section2.3: Rules For Addition
Problem 7P
Question
![2. Construct proofs for the following, using inference and replacement
rules, but without using C.P. or I.P. (= only using the rules from Units 7
and 8) [0.75 mark each].
a. C (Av B), B = (E. F), ~ (F v A) /.. ~ C
b. AB, (BvF), (A. D) > F/..~ (B v D)
C.
Q = ~(Av B), P > ~(Q v ~ T), ~(SW), (Q > X) > ~ (S. W)
7. (PB). ~ (XvA)](/v2/_next/image?url=https%3A%2F%2Fcontent.bartleby.com%2Fqna-images%2Fquestion%2Fcf425404-2167-4a1b-b546-cccac75299ab%2F2e83ec14-5866-47be-865e-631d00526840%2Fpc9szjo_processed.png&w=3840&q=75)
Transcribed Image Text:2. Construct proofs for the following, using inference and replacement
rules, but without using C.P. or I.P. (= only using the rules from Units 7
and 8) [0.75 mark each].
a. C (Av B), B = (E. F), ~ (F v A) /.. ~ C
b. AB, (BvF), (A. D) > F/..~ (B v D)
C.
Q = ~(Av B), P > ~(Q v ~ T), ~(SW), (Q > X) > ~ (S. W)
7. (PB). ~ (XvA)
Expert Solution
This question has been solved!
Explore an expertly crafted, step-by-step solution for a thorough understanding of key concepts.
This is a popular solution!
Trending now
This is a popular solution!
Step by step
Solved in 2 steps with 2 images
Recommended textbooks for you
Algebra: Structure And Method, Book 1
Algebra
ISBN:
9780395977224
Author:
Richard G. Brown, Mary P. Dolciani, Robert H. Sorgenfrey, William L. Cole
Publisher:
McDougal Littell
Algebra & Trigonometry with Analytic Geometry
Algebra
ISBN:
9781133382119
Author:
Swokowski
Publisher:
Cengage
Elementary Geometry For College Students, 7e
Geometry
ISBN:
9781337614085
Author:
Alexander, Daniel C.; Koeberlein, Geralyn M.
Publisher:
Cengage,
Algebra: Structure And Method, Book 1
Algebra
ISBN:
9780395977224
Author:
Richard G. Brown, Mary P. Dolciani, Robert H. Sorgenfrey, William L. Cole
Publisher:
McDougal Littell
Algebra & Trigonometry with Analytic Geometry
Algebra
ISBN:
9781133382119
Author:
Swokowski
Publisher:
Cengage
Elementary Geometry For College Students, 7e
Geometry
ISBN:
9781337614085
Author:
Alexander, Daniel C.; Koeberlein, Geralyn M.
Publisher:
Cengage,
College Algebra (MindTap Course List)
Algebra
ISBN:
9781305652231
Author:
R. David Gustafson, Jeff Hughes
Publisher:
Cengage Learning
Elementary Linear Algebra (MindTap Course List)
Algebra
ISBN:
9781305658004
Author:
Ron Larson
Publisher:
Cengage Learning
Glencoe Algebra 1, Student Edition, 9780079039897…
Algebra
ISBN:
9780079039897
Author:
Carter
Publisher:
McGraw Hill