Logic Primer - Couverture souple

ALLEN COLIN; HAND MICHAEL

3,56

41 �valuations de Goodreads

Couverture souple

ISBN 10 : 8120325303 ISBN 13 : 9788120325302

Editeur : Prentice Hall India, 2001

Afficher les exemplaires de cette �dition ISBN

This concise, clear and intelligently sequenced text gives a rigorous introduction to natural deduction systems of sentential and first-order logic. It is intended for a one-semester course in which propositional logic and predicate logic are introduced. The text consists of definitions, examples, comments and exercises. While it is student-oriented, the concise definitions and comments would require the assistance of the instructor. For, the text lends flexibility to the instructor to explain the principles, keeping in mind the audience. The book begins with a detailed discussion on Sentential Logic and covers such topics as basic logical notions, primitive rules of proof, and sequents and derived rules. It then goes on to give a description of Truth Tables, which includes an analysis of truth tables of sentences and sequents and indirect truth tables. Besides, it provides a comprehensive coverage of predicate logic. The text concludes with a description of Models. Exercises provided in each section and Answers to Selected Exercises at the end of the book should prove to be of considerable assistance to the students in comprehending the subject with greater ease. Students as well as teachers of philosophy should find this as a motivating and first choice book on logic. An innovative interactive website http://mitpress.mit.edu/LogicPrimer/, consisting of a Logic Daemon and a Quizmaster, encourages students to formulate their own proofs and provides links to appropriate explanations in the book.

Les informations fournies dans la section � Synopsis � peuvent faire r�f�rence � une autre �dition de ce titre.