forall x: Calgary: An Introduction to Formal Logic
Product details
| Management number | 236847911 | Release Date | 2026/07/10 | List Price | US$5.60 | Model Number | 236847911 | ||
|---|---|---|---|---|---|---|---|---|---|
| Category | |||||||||
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 a Fitch-style natural deduction system). Advanced topics discussed are the truth-functional completeness 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. Read more
| ASIN | B0CH2B1ZFG |
|---|---|
| ISBN13 | 979-8859963584 |
| Language | English |
| Publisher | Independently published |
| Dimensions | 7.44 x 0.99 x 9.69 inches |
| Item Weight | 2.13 pounds |
| Print length | 437 pages |
| Publication date | September 2, 2023 |
Bestseller ranking
Logic
Customers who viewed this product also viewed
Steampunk
Correction of product information
If you notice any omissions or errors in the product information on this page, please use the correction request form below.
Correction Request Form