(3x € X: (Vy € Y : E(x, y))) = \x € X : (³y €Y : ¬E(x, y)) ¬(Vx € X : (³ € Y : E(x, y))) = (3x € X : (Vy € Y : ¬E(x, y))) (3x € X: E(x)) = (Vx X: E(x)) ≤

Algebra & Trigonometry with Analytic Geometry
13th Edition
ISBN:9781133382119
Author:Swokowski
Publisher:Swokowski
Chapter1: Fundamental Concepts Of Algebra
Section1.3: Algebraic Expressions
Problem 20E
icon
Related questions
Question
Prove
¬(3x € X : (Vy ≤ Y : E(x, y))) = \x ≤ X : (³y ≤Y : ¬E(x, y))
(Vx X: (3 € Y : E(x, y))) = (3x € X : (Vy ≤ Y : ¬E(x, y)))
(3x € X: ¬E(x)) = (Vx X: E(x))
Transcribed Image Text:Prove ¬(3x € X : (Vy ≤ Y : E(x, y))) = \x ≤ X : (³y ≤Y : ¬E(x, y)) (Vx X: (3 € Y : E(x, y))) = (3x € X : (Vy ≤ Y : ¬E(x, y))) (3x € X: ¬E(x)) = (Vx X: E(x))
Expert Solution
steps

Step by step

Solved in 2 steps with 2 images

Blurred answer