sv [[(p v ¬r) ^ (r v t)] A [(¬t vr) A (¬p V r)]] e» s v (r ++ p)

Elementary Geometry For College Students, 7e
7th Edition
ISBN:9781337614085
Author:Alexander, Daniel C.; Koeberlein, Geralyn M.
Publisher:Alexander, Daniel C.; Koeberlein, Geralyn M.
Chapter2: Parallel Lines
Section2.CT: Test
Problem 3CT: To prove a theorem of the form "If P, then Q" by the indirect method, the first line of the proof...
icon
Related questions
Question

Answer #3 using logical equivalence with the laws of logic

2. ¬[¬q v ¬[(q v p) ^ (p -→ q)]] q
3. s v [I(p v ¬r) A (r v t)] ^ [(¬t v r) a (¬p V r)]] → s v (r + p)
Transcribed Image Text:2. ¬[¬q v ¬[(q v p) ^ (p -→ q)]] q 3. s v [I(p v ¬r) A (r v t)] ^ [(¬t v r) a (¬p V r)]] → s v (r + p)
Expert Solution
steps

Step by step

Solved in 3 steps

Blurred answer
Recommended textbooks for you
Elementary Geometry For College Students, 7e
Elementary Geometry For College Students, 7e
Geometry
ISBN:
9781337614085
Author:
Alexander, Daniel C.; Koeberlein, Geralyn M.
Publisher:
Cengage,
Elementary Geometry for College Students
Elementary Geometry for College Students
Geometry
ISBN:
9781285195698
Author:
Daniel C. Alexander, Geralyn M. Koeberlein
Publisher:
Cengage Learning
Algebra & Trigonometry with Analytic Geometry
Algebra & Trigonometry with Analytic Geometry
Algebra
ISBN:
9781133382119
Author:
Swokowski
Publisher:
Cengage
Elements Of Modern Algebra
Elements Of Modern Algebra
Algebra
ISBN:
9781285463230
Author:
Gilbert, Linda, Jimmie
Publisher:
Cengage Learning,
Linear Algebra: A Modern Introduction
Linear Algebra: A Modern Introduction
Algebra
ISBN:
9781285463247
Author:
David Poole
Publisher:
Cengage Learning
Elementary Linear Algebra (MindTap Course List)
Elementary Linear Algebra (MindTap Course List)
Algebra
ISBN:
9781305658004
Author:
Ron Larson
Publisher:
Cengage Learning