forall x: Calgary: An Introduction to Formal Logic - Couverture souple

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

 
9798859963584: forall x: Calgary: An Introduction to Formal Logic
Couverture souple
ISBN 13 : 9798859963584
Editeur : Independently published, 2023

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Independently published
Date d'édition
2023
Langue
anglais
ISBN 13 
9798859963584
Reliure
Broché
Nombre de pages
437
Coordonnées du fabricant
Manufactured by Amazon on behalf of the author
https://www.amazon.fr/hz/contact-us

c/o Amazon Media EU S.à.r.l., 38 Avenue John F. Kennedy
Luxembourg
L-1855
Luxembourg