Search
Filters
Close

Life of Fred Logic

Life of Fred Logic
Availability: In stock
SKU: 9781937032555
CAD 56.95
Life of Fred: Logic

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

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.

Use after Life of Fred Beginning Algebra, Advanced Algebra, Geometry, and Trigonometry

Next use Life of Fred Calculus, Statistics, and Linear Algebra

See inside Life of Fred Logic



PRODUCTS SPECIFICATIONS
Consumable No
Series
Author
Number of Pages 176 Pages
Format Hardcover
Brand/Publisher Life of Fred
Copyright Copyright