Previous | Next |
Dirk Schlimm
Read FOL, pages 207-224 (Chapter 8). Solve the following problems:
This chapter is pretty technical and difficult at times, but the homework problems are rather basic. To solve them you don't need to understand the proofs and first-order formalizations! I suggest you first look at the problems, and then glean what you need to know to solve them.
If you are interested in knowing more about Russell's Paradox and modern set theory, make sure you read sections 8.8-10!
Take a set A={alligator, bear, chimpanzee} and a set B={apple, banana, cherry}. Write down two functions from A to B, one of which is 1-1 and one which is not.
Prove: The cardinality of the set of even numbers is the same as the cardinality of the set of natural numbers.