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

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

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

Synopsis

forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-order interpretations), translating (symbolizing) English in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as modal logic, soundness, and functional completeness. Exercises with solutions are available. 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
2020
Langue
anglais
ISBN 13 
9798672015576
Reliure
Broché
Nombre de pages
414
Coordonnées du fabricant
non disponible
Personne responsable
non disponible