Propositional and Predicate Calculus A Model of Argument
Spend $50 to get a
This item qualifies for FREE shipping.
30 day, 100% satisfaction guarantee!
Rush Rewards U
You have reached 400 XP and carrot coins. That is the daily max!
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 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.This book is…
Copyright year: 2005
Publication date: 9/8/2005
Size: 7.50" wide x 9.75" long x 0.50" tall
|Propositions and Truth Assignments|
|Formal Propositional Calculus|
|Predicates and Models|
|Formal Predicate Calculus|
|Some Uses of Compactness|