Propositional and Predicate Calculus A Model of Argument

• Κύριος συγγραφέας: Goldrei, Derek (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: London : Springer London, 2005.
• Θέματα: Mathematics.; Mathematical logic.; Mathematical Logic and Foundations.

At the heart of the justification for the reasoning used in modern mathematics lies the completeness theorem for predicate calculus. This unique textbook covers two entirely different ways of looking at such reasoning. Topics include: - the representation of mathematical statements by formulas in a...

Πίνακας περιεχομένων:

• Propositions and Truth Assignments
• Formal Propositional Calculus
• Predicates and Models
• Formal Predicate Calculus
• Some Uses of Compactness.