Life of Fred: Logic
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
Couldn't load pickup availability
Pickup available at 5330 Ehrlich Road Suite 121
Usually ready in 5+ daysPairs well with
Life of Fred: Logic
If you have any questions, you are always welcome to contact us. We'll get back to you as soon as possible, within 24 hours on weekdays.
-
Shipping Information
Use this text to answer questions in as much detail as possible for your customers.
-
Customer Support
Use this text to answer questions in as much detail as possible for your customers.
-
FAQ’s
Use this text to answer questions in as much detail as possible for your customers.
-
Contact Us
Use this text to answer questions in as much detail as possible for your customers.