Description
Learn logic in a day! That is, a day in the life of Fred. Here is a complete coverage of logic in a mere 176 pages. No ancillaries required. That's right. No separate teacher book, no test pack, no workbook needed. It's all right here - the whole "Kittens" caboodle. Do you think Logic is a dry, boring subject? It's not! Not when Fred teaches it. What other math book has a chapter titled "Stinky Logic"? This book doesn't have bothersome "problems" or strenuous "exercises." It has delightful "puzzles" instead. It has serious mathmatical Logic, from the basis to advanced topics.
Suitable as a high school text (first six chapters) or as a college text (all 16 chapters), this book contains:
- Sentences in logic
- Connectives
- Inductive reasoning
- Seventeen logic fallacies
- Predicate logic
- Syllogisms
- Quantifiers
- Proofs in predicate logic
- Direct and indirect proofs
- Set theory as a predicate logic structure
- Axiom systems: consistent, complete, meaningful, independent, and recursive
- Arithmetic model
- Gdel numbering of symbols, sentences, and proofs
- Proof of the Diagonal Lemma
- Gdels Completeness theorem
- Gdels two Incompleteness theorems and their proofs
- Many puzzles and their complete solutions
