I(¥x (P(x) v Q(x))) ^ (Vx (¬Q(x) v S(x))) ^ (Vx (R(x) → ¬S(x))) ^ (3x ¬P(x))] → 3x ¬R(x)

Algebra & Trigonometry with Analytic Geometry
13th Edition
ISBN:9781133382119
Author:Swokowski
Publisher:Swokowski
Chapter4: Polynomial And Rational Functions
Section4.3: Zeros Of Polynomials
Problem 24E
icon
Related questions
Question

Prove directly.

b) [(Vx (P(x) v Q(x))) ^ (Vx (¬Q(x) v S(x))) ^ (Vx (R(x) → ¬S(x))) ^ (3x ¬P(x))]= 3x ¬R(x)
Transcribed Image Text:b) [(Vx (P(x) v Q(x))) ^ (Vx (¬Q(x) v S(x))) ^ (Vx (R(x) → ¬S(x))) ^ (3x ¬P(x))]= 3x ¬R(x)
Expert Solution
steps

Step by step

Solved in 2 steps with 3 images

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