Items related to forall x: Calgary: An Introduction to Formal Logic
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.
"synopsis" may belong to another edition of this title.
- PublisherIndependently published
- Publication date2019
- ISBN 10 1077319851
- ISBN 13 9781077319851
- BindingPaperback
- LanguageEnglish
- Number of pages398
- Rating
Search results for forall x: Calgary: An Introduction to Formal Logic
Stock Image
forall x: Calgary: An Introduc
Published by
Independently published, 2019
ISBN 10: 1077319851
ISBN 13: 9781077319851
Used
Softcover
Seller: SecondSale, Montgomery, IL, U.S.A.
Seller rating 5 out of 5 stars
Condition: Very Good. Item in very good condition! Textbooks may not include supplemental items i.e. CDs, access codes etc. Seller Inventory # 00086197809
Quantity: 1 available
Stock Image
forall x: Calgary: An Introduction to Formal Logic
Published by
Independently published, 2019
ISBN 10: 1077319851
ISBN 13: 9781077319851
Used
paperback
Seller: Goodwill Books, Hillsboro, OR, U.S.A.
Seller rating 5 out of 5 stars
paperback. Condition: Acceptable. Fairly worn, but readable and intact. If applicable: Dust jacket, disc or access code may not be included. Seller Inventory # 3IIT5H005DHC_ns
Quantity: 1 available