Can I read Logic : a Computer Approach on EtoBox?

Logic : a Computer Approach by Morton L. Schagrin, William J. Rapaport, Randall R. Dipert, Morton Louis Schagrin is a book available to read on EtoBox.

What is Logic : a Computer Approach about?

Synopsis: 1 - The Nature of Logic 2 - Logic, Computers, and Algorithms 3 - Sentential Logic: The Connectives 'Not', 'And', and 'Or' 4 - Sentential Logic: The Connectives 'If ... Then ...' and Additional Connectives 5 - Sentential Logic: Algorithms for Calculating the Truth Values and Determing Well-Formedness 6 - Sentential Logic: Algorithms for Truth Tables and Determing Validity 7 - Sentential Logic: Logical Equivalence, Normal Forms, and Polish Notation 8 - Sentential Logic: A Natural Deduction System 9 - Sentential Logic: Additional Rules of Inference 10 - Sentential Logic: An Algorithm for Checking Proofs 11 - Sentential Logic: A Method for Producing Proofs 12 - Predicate Logic: Quantification 13 - Predicate Logic: Quantifier Inference Rules 14 - Predicate Logic: Determing Validity and Proving Theorems "About this title" may belong to another edition of this title.

Author

Morton L. Schagrin, William J. Rapaport, Randall R. Dipert, Morton Louis Schagrin

Publisher

Mcgraw-Hill (Tx)

Published

1985

Language

EN

ISBN

9780070551312

Subjects

Philosophy, Computer Science, Sociology