Forall X: Calgary
by Tim ButtonAaron Thomas-BolducRichard ZachJ. Robert Loftis (Contribution by)Robert TruemanP. D. Magnus
Format: Paperback
ISBN13: 9781077319851
Paperback|9781077319851
Out of Stock
Overview
An introduction to formal logic, covering truth-functional (propositional) and first-order (predicate) logic. It deals with logical notions such as entailment and satisfiablity, symbolization of English sentences using connectives and quantifiers (including identity, e.g., definite descriptions), the semantics of TFL (truth tables) and FOL (first-order interpretations), and proofs (using and natural deduction). Advanced topics discussed are the truth-functional adequacy of propositional logic, normal forms, the soundness of the proof system, and the basics of modal logic. Available for free download at forallx.openlogicproject.org.
| ISBN-13 | 9781077319851 |
|---|---|
| ISBN-10 | 1077319851 |
| Weight | 1.94 Pounds |
| Dimensions | 9.69 x 7.44 x 0.90 In |
| List Price | $12.67 |
| Edition | 2nd Edition |
| Format | Paperback |
|---|---|
| Language | English |
| Pages | 398 pages |
| Publisher | Independently published |
| Published On | 2019-09-03 |
View All Offers
Sort by:
Price
