Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per forall x: Calgary: An Introduction to Formal Logic
Foto dell'editore
forall x: Calgary: An Introduction to Formal Logic
Da: HPB-Red, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
paperback. Condizione: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Codice articolo S_456455300
Compra usato
EUR 69,77
Spedizione EUR 3,23
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
forall x: Calgary: An Introduction to Formal Logic
Da: Wrigley Books, Austin, TX, U.S.A.
Valutazione del venditore 4 su 5 stelle
Paperback. Condizione: very good. Used items may not include media like access codes or CDs. Fast shipping! Expedited orders take 1-3 business days! Media mail may take up to 5 business days. Codice articolo 3C-9798527349504-V
Compra usato
EUR 195,50
Spedizione EUR 2,15
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili