3. (12 points) Express each of these statements using quantifiers and the given

Question

3. (12 points) Express each of these statements using quantifiers and the given predicates, along with arithmetic operations (e.g. 2,2x). Then form the negation of the statement, so that no negation operator is to the left of a quantifier. Next, express this negation you formed in simple and precise English. (a) Statement: For all real numbers z, ifra21, then z > b) Statement: For all integers a, b, c, if a -b is even and b-cis even, then a -c is even. (c) There is a real number with no reciprocal. Allowed predicates: G(a, b) = "a > b", Eq(a, b) = "a = b". Allowed predicate: Eq(a, b) = "a = b". Reminder: the reciprocal of a real number a is a real number b such that ab = 1. Allowed predicates: Eq(a, b) = "a = b" (d) There is a real number z, such that for all real numbers y, 2z+ y = 5. Allowed predicates: Eq(a, b-"a-b

Explanation / Answer

a) x (G(x2, 1) Eq(x2, 1) -> G(x,0) )

            G(x2, 1) Eq(x2, 1)     to cover both if x2 is greater than or equal to 1

            G(x,0) x>0

Related Questions

Navigate

• Browse (All)
• Browse 3
• Subjects

---

---

Integrity-first tutoring: explanations and feedback only — we do not complete graded work. Learn more.