theorem if Yet, I think I

Linear Algebra: A Modern Introduction
4th Edition
ISBN:9781285463247
Author:David Poole
Publisher:David Poole
Chapter7: Distance And Approximation
Section7.2: Norms And Distance Functions
Problem 41EQ
icon
Related questions
Question
2.
A[x] → (Vx)A[x] is NOT a
theorem if x indeed occurs free in A.
Yet, I think I got a proof: First, let me use DThm and prove instead
A[a] F (Vx)A[x]:
1) A[a]
2) (Væ)A[x] (1 + Gen)
(hyp)
Something must be wrong in my “PROOF"! What EXACTLY
Transcribed Image Text:2. A[x] → (Vx)A[x] is NOT a theorem if x indeed occurs free in A. Yet, I think I got a proof: First, let me use DThm and prove instead A[a] F (Vx)A[x]: 1) A[a] 2) (Væ)A[x] (1 + Gen) (hyp) Something must be wrong in my “PROOF"! What EXACTLY
Expert Solution
steps

Step by step

Solved in 2 steps

Blurred answer
Recommended textbooks for you
Linear Algebra: A Modern Introduction
Linear Algebra: A Modern Introduction
Algebra
ISBN:
9781285463247
Author:
David Poole
Publisher:
Cengage Learning
Elements Of Modern Algebra
Elements Of Modern Algebra
Algebra
ISBN:
9781285463230
Author:
Gilbert, Linda, Jimmie
Publisher:
Cengage Learning,
College Algebra
College Algebra
Algebra
ISBN:
9781938168383
Author:
Jay Abramson
Publisher:
OpenStax
Algebra and Trigonometry (MindTap Course List)
Algebra and Trigonometry (MindTap Course List)
Algebra
ISBN:
9781305071742
Author:
James Stewart, Lothar Redlin, Saleem Watson
Publisher:
Cengage Learning