forallx: the Mississippi State edition - Couverture souple

The Logic Machine Shop

 
9798865977643: forallx: the Mississippi State edition

Synopsis

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.