Propositional and Predicate Calculus: A Model of Argument
Publication year: 2005
ISBN: 978-1-84628-229-4
Internet Resource: Please Login to download book
The topics in the book include: - the representation of mathematical statements by formulas in a formal language. - the interpretation of formulas as true or false in a mathematical structure. - logical consequence of one formula from others. - formal proof. - the soundness and completeness theorems connecting logical consequence and formal proof. - the axiomatization of some mathematical theories using a formal language. - the compactness theorem and an introduction to model theory.
Subject: Mathematics and Statistics, Addition, First-order logic, Model Theory, Predicate Calculus, Propositional Calculus, compactness theorem, mathematical logic, proof
