Items related to forall x: Calgary: An Introduction to Formal Logic

forall x: Calgary: An Introduction to Formal Logic - Softcover

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

  • 3.97 out of 5 stars
    33 ratings by Goodreads
 
9781077319851: forall x: Calgary: An Introduction to Formal Logic
Softcover
ISBN 10: 1077319851 ISBN 13: 9781077319851
Publisher: Independently published, 2019

This specific ISBN edition is currently not available.

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.

Publisher
Independently published
Publication date
2019
Language
English
ISBN 10 
1077319851
ISBN 13 
9781077319851
Binding
Paperback
Number of pages
398
Rating
  • 3.97 out of 5 stars
    33 ratings by Goodreads

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want