forall x: Calgary: An Introduction to Formal Logic

Magnus, P. D.; Button, Tim; Trueman, Robert; Zach, Richard

ISBN 13: 9798859963584

Published by Independently published (edition ), 2023

About this Item

It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting.

Seller Inventory # ACI5ITLQE6-11-1

Bibliographic Details

• Title: forall x: Calgary: An Introduction to Formal Logic
• Publisher: Independently published (edition )
• Publication Date: 2023
• Language: English
• ISBN 13: 9798859963584
• Binding: Paperback
• 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 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.