Logic
Subtitle: a computer approach
By: Morton L. Schagrin, William J. Rapaport, Randall R. Dipert.
Contributors: Rapaport, William J.; Dipert, Randall R.
Publisher: McGraw-Hill
Published: 1985
Place of publication: New York
Language: eng
Number of pages: 347
Subjects: Logic -- Data processing.; Algorithms.; Computer programming.
Description: 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.
Notes: Bibliography: p. 341-342.
Includes index.