Life of Fred: LOGIC

Do you think Logic is a dry, boring subject? It's not! Not when Fred teaches it. Learn...

• 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
• Gödel numbering of symbols, sentences, and proofs
• Proof of the Diagonal Lemma
• Gödel's Completeness theorem
• Gödel's two Incompleteness theorems and their proofs
• Many puzzles (exercises) and their complete solutions.

Unlike most other math logic programs, this one also has:
• Stinky Logic
• This book doesn't have bothersome "problems" or strenuous "exercises." It has delightful "puzzles," instead.
• It has serious mathematical Logic, from the basics to advanced topics.
• Fred has adventures.
• Duck comes back.
• Fred is pressured to buy life insurance for his wife (Fred isn't married).
• Fred "beeps" the nose of 128 lions.

Suitable as a high school text (first six chapters) or as a college text (all 16 chapters).

• Age Level = 12 and up
• Book Author = Stanley F. Schmidt
• Book Material = Hardback
• Book Publisher = Polka Dot Publishing
• Book Series = Life of Fred
• Copyright = c2016
• Grade Level = High School
• Condition = New