An Introduction to the Logic of the Computing Sciences: A Contemporary Look at Symbolic LogicAn 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. |
Contents
Logic Problem Solving | 9 |
Structure of Arguments | 15 |
Truth Tables | 25 |
Copyright | |
28 other sections not shown
Common terms and phrases
A V B affirms argument form asserts Association bartender Bentham bi-conditional C V D CHAPTER chart and algorithm computer programs CONJ conjunction Constructive Dilemma Demonstrate the validity Disjunctive Syllogism E V F entails equal explanation F & G false Stop Yes flow chart Given the value HYPOTHETICAL SYLLOGISM I V G if-then IMPL inclusive Input P Input Input value Jones is guilty Jones is liable liable for damages logical possibility number logically equivalent LSAT Lutherans Lutherans are Christians Material Equivalence MATERIAL IMPLICATION Modus Ponens Modus Tollens Muslims necessary condition negation sign ordinary English patient has symptom predicated principle PROBLEM SET q is false q is true q statement relationship rules of inference rules of replacement SIMP Smith Social Darwinism sufficient condition Susan symbolic logic tautology truth table undecided value of q WORD PROBLEMS ΨΧ