9798672015576: forall x: Calgary: An Introduction to Formal Logic
Brossura
ISBN 13: 9798672015576
Casa editrice: Independently published, 2020

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Independently published
Data di pubblicazione
2020
Lingua
Inglese
ISBN 13 
9798672015576
Rilegatura
Copertina flessibile
Numero di pagine
414
Contatto del produttore
non disponibile
Persona responsabile
non disponibile