consider the statement (formula)(3x)A(x) → A(z)where z is a new variable not free (not an "input variable") in A(x).Find now a specific example of A(x) over the set N and choose a specificvalue of z N so that (1) becomes false (meaning we cannot prove it,since proofs start from true axioms and preserve truth at every step).(1)

Answered: Image /qna-images/answer/c3173569-a7f5-42c7-8d6b-9a8941a84251.jpg

consider the statement (formula) (3x)A(x) → A(z) where z is a new variable not free (not an "input variable") in A(x). Find now a specific example of A(z) over the set N and choose a specific value of z EN so that (1) becomes false (meaning we cannot prove it, since proofs start from true axioms and preserve truth at every step). (1)

consider the statement (formula) (3x)A(x) → A(z) where z is a new variable not free (not an "input variable") in A(x). Find now a specific example of A(z) over the set N and choose a specific value of z EN so that (1) becomes false (meaning we cannot prove it, since proofs start from true axioms and preserve truth at every step). (1)

Algebra & Trigonometry with Analytic Geometry

13th Edition

ISBN:9781133382119

Author:Swokowski

Publisher:Swokowski

Chapter4: Polynomial And Rational Functions

Section4.2: Properties Of Division

Problem 51E

See similar textbooks