An Introduction to the Logic of the Computing Sciences A Contemporary Look at Symbolic Logic

by Dohlen, Von Richard F.

• ISBN13: 9780761813262
• ISBN10: 0761813268
• Format: Paperback
• Copyright: 1999-03-11
• Publisher: UPA

Summary

An Introduction to the Logic of the Computing Sciences provides an introduction to symbolic logic by creating connections with the diverse fields of philosophy, mathematics, computing sciences, law, business, popular culture, and ethics, so that students from varied backgrounds can grasp the ideas of logic. The author relates symbolic logic to computer science by introducing each logical principle by a truth table, flow chart, and algorithm. He emphasizes the connections between logic and the different subjects through over two hundred word problems that relate to the different areas. Following a strategic plan that avoids intimidating students, the author introduces each new principle one at a time with a set of twenty exercises that require the use of that principle. He introduces the next principle with exercises that require the use of the new principle and the principles previously studied, gradually building on the knowledge of the student until he or she has a thorough understanding of symbolic logic.

Table of Contents

Preface
Chapter 1 Introduction to Logic	1	(8)
Chapter 2 Logic, Problem Solving and Algorithmic Thinking:	9	(6)
Chapter 3 Structure of Arguments	15	(4)
Chapter 4 Ordinary English and "If-Then" Statements	19	(6)
Chapter 5 Truth Tables and "If-Then" Statements	25	(14)
Chapter 6 Flow Charts	39	(10)
Chapter 7 Algorithms	49	(6)
Chapter 8 Modus Ponens	55	(12)
Chapter 9 Modus Tollens	67	(8)
Chapter 10 Conjunction and Simplification	75	(10)
Chapter 11 Hypothetical Syllogism	85	(8)
Chapter 12 Absorption	93	(8)
Chapter 13 The Inclusive Or	101	(8)
Chapter 14 Disjunctive Syllogism	109	(8)
Chapter 15 Constructive Dilemma	117	(8)
Chapter 16 Addition	125	(6)
Chapter 17 Material Implication, Deductive Arguments, and Abbreviated Truth Tables	131	(10)
Chapter 18 Material Implication, Deductive Arguments, Abbreviated Truth Tables and the Test for Consistent Premises	141	(8)
Chapter 19 Material Implication and Scientific Theories	149	(4)
Chapter 20 The Nature of Material Equivalence	153	(6)
Chapter 21 Double Negation	159	(6)
Chapter 22 Commutation	165	(8)
Chapter 23 Tautology	173	(6)
Chapter 24 Association	179	(14)
Chapter 25 Transposition	193	(6)
Chapter 26 Material Implication	199	(6)
Chapter 27 Exportation	205	(8)
Chapter 28 Material Equivalence	213	(10)
Chapter 29 Distribution	223	(10)
Chapter 30 De Morgan's Theorems	233	(12)
Chapter 31 Quantification Theory	245	(8)
Chapter 32 Four New Bi-Conditionals	253	(18)
Study Guide	271