Exercise 16: Write up three proofs for the above six theorems. (You should be able to do all of them, but write up three of them.) Theorem 26: Suppose a, b ∈ Z. Then a ≤ b if and only if b − a ∈ N. Theorem 27: Suppose a, b, c ∈ Z. If a < b then a + c < b + c. If a ≤ b then a + c ≤ b + c. Theorem 28: Let a ∈ Z. Then a ∈ N if and only if a ≥ 0. Also, a is positive if and only if a > 0, and a is negative if and only if a 76 Chapter 4. The Integers Z Theorem 29: Transitivity for < holds. Theorem 30: Transitivity for ≤ hold. Mixed transitivity for < and ≤ hold. Theorem 31: Trichotomy for < holds.

Elements Of Modern Algebra
8th Edition
ISBN:9781285463230
Author:Gilbert, Linda, Jimmie
Publisher:Gilbert, Linda, Jimmie
Chapter1: Fundamentals
Section1.1: Sets
Problem 41E: Express (AB)(AB) in terms of unions and intersections that involve A,A,B,andB
icon
Related questions
Topic Video
Question

Exercise 16: Write up three proofs for the above six theorems. (You should be able to do all of them, but write up three of them.)

Theorem 26: Suppose a, b ∈ Z. Then a ≤ b if and only if b − a ∈ N.

Theorem 27: Suppose a, b, c ∈ Z. If a < b then a + c < b + c. If a ≤ b then a + c ≤ b + c.

Theorem 28: Let a ∈ Z. Then a ∈ N if and only if a ≥ 0. Also, a is positive if and only if a > 0, and a is negative if and only if a 76 Chapter 4. The Integers Z

Theorem 29: Transitivity for < holds.

Theorem 30: Transitivity for ≤ hold. Mixed transitivity for < and ≤ hold. Theorem 31: Trichotomy for < holds.

Expert Solution
trending now

Trending now

This is a popular solution!

steps

Step by step

Solved in 4 steps with 3 images

Blurred answer
Knowledge Booster
Propositional Calculus
Learn more about
Need a deep-dive on the concept behind this application? Look no further. Learn more about this topic, advanced-math and related others by exploring similar questions and additional content below.
Similar questions
Recommended textbooks for you
Elements Of Modern Algebra
Elements Of Modern Algebra
Algebra
ISBN:
9781285463230
Author:
Gilbert, Linda, Jimmie
Publisher:
Cengage Learning,
Elementary Geometry For College Students, 7e
Elementary Geometry For College Students, 7e
Geometry
ISBN:
9781337614085
Author:
Alexander, Daniel C.; Koeberlein, Geralyn M.
Publisher:
Cengage,
Elementary Geometry for College Students
Elementary Geometry for College Students
Geometry
ISBN:
9781285195698
Author:
Daniel C. Alexander, Geralyn M. Koeberlein
Publisher:
Cengage Learning
Algebra & Trigonometry with Analytic Geometry
Algebra & Trigonometry with Analytic Geometry
Algebra
ISBN:
9781133382119
Author:
Swokowski
Publisher:
Cengage
Elementary Linear Algebra (MindTap Course List)
Elementary Linear Algebra (MindTap Course List)
Algebra
ISBN:
9781305658004
Author:
Ron Larson
Publisher:
Cengage Learning
Linear Algebra: A Modern Introduction
Linear Algebra: A Modern Introduction
Algebra
ISBN:
9781285463247
Author:
David Poole
Publisher:
Cengage Learning