Theorem 20 (Associative Law). If x, y, z E N, then (x+y)+z = x+(y+z). Proof. (sketch). This follows from Lemma 17, and the identity AU (BUC) = (AUB) UC. Exercise 9. Write up the above proof. (You do not need to prove the identity AU (BUC) = (AUB) UC, since it is part of basic set theory.)
Theorem 20 (Associative Law). If x, y, z E N, then (x+y)+z = x+(y+z). Proof. (sketch). This follows from Lemma 17, and the identity AU (BUC) = (AUB) UC. Exercise 9. Write up the above proof. (You do not need to prove the identity AU (BUC) = (AUB) UC, since it is part of basic set theory.)
Elements Of Modern Algebra
8th Edition
ISBN:9781285463230
Author:Gilbert, Linda, Jimmie
Publisher:Gilbert, Linda, Jimmie
Chapter1: Fundamentals
Section1.2: Mappings
Problem 22E
Related questions
Question
Expert Solution
This question has been solved!
Explore an expertly crafted, step-by-step solution for a thorough understanding of key concepts.
This is a popular solution!
Trending now
This is a popular solution!
Step by step
Solved in 3 steps
Recommended textbooks for you
Elements Of Modern Algebra
Algebra
ISBN:
9781285463230
Author:
Gilbert, Linda, Jimmie
Publisher:
Cengage Learning,
Elements Of Modern Algebra
Algebra
ISBN:
9781285463230
Author:
Gilbert, Linda, Jimmie
Publisher:
Cengage Learning,