forall x: Calgary: An Introduction to Formal Logic

Magnus, P. D.; Button, Tim; Thomas-Bolduc, Aaron; Zach, Richard; Trueman, Robert

ISBN 10: 1077319851 / ISBN 13: 9781077319851

Published by Independently published, 2019

About this Item

Book is in very good condition and may include minimal underlining highlighting. The book can also include "From the library of" labels. May not contain miscellaneous items toys, dvds, etc. . We offer 100% money back guarantee and 24 7 customer service.

Seller Inventory # ZBV.1077319851.VG

Bibliographic Details

• Title: forall x: Calgary: An Introduction to Formal Logic
• Publisher: Independently published
• Publication Date: 2019
• Language: English
• ISBN 10: 1077319851
• ISBN 13: 9781077319851
• Binding: Soft cover
• Condition: very_good

About this title

Synopsis

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.