forall x: Calgary: An Introduction to Formal Logic - Tapa blanda

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

 
9798672015576: forall x: Calgary: An Introduction to Formal Logic
Tapa blanda
ISBN 13: 9798672015576
Editorial: Independently published, 2020

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Editorial
Independently published
Año de publicación
2020
Idioma
Inglés
ISBN 13 
9798672015576
Encuadernación
Tapa blanda
Número de páginas
414
Contacto del fabricante
no disponible
Persona responsable
no disponible