This introduction to formal logic covers truth functional (i.e., propositional) logic and first-order logic. The content of truth functional logic is explained, and then truth tables and natural deduction are used to investigate validity. The content of first-order logic and the quantifier rules are given in the final section of the book.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Vendeur : BooksRun, Philadelphia, PA, Etats-Unis
Paperback. Etat : Very Good. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting. N° de réf. du vendeur ACI5J6HS42-11-1
Quantité disponible : 1 disponible(s)