## An Introduction to the Logic of the Computing Sciences: A Contemporary Look at Symbolic LogicThe logic textbook features a mix of plain English, flow charts, algorithms, and truth tables. Each of the 32 chapters introduces one principle illustrated by ten symbolic problems and ten word problems. No index. Annotation c. Book News, Inc., Portland, OR (booknews.com). |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

Introduction to Logic | 1 |

Structure of Arguments | 15 |

Ordinary English and IfThen Statements | 19 |

Copyright | |

29 other sections not shown

### Common terms and phrases

affirms argument form asserts Association bartender believes Bentham bi-conditional C V D CHAPTER chart and algorithm Chicago computer programs CONJ conjunction Constructive Dilemma deductive argument Demonstrate the validity Disjunctive Syllogism E V F entails example explanation flow chart following arguments Given the value hedonist HYPOTHETICAL SYLLOGISM I V G if-then IMPL inclusive Input value Jones is guilty Jones is liable legally liable liable for damages logical possibility number logically equivalent LSAT Lutherans Lutherans are Christians Marx Material Equivalence MATERIAL IMPLICATION Modus Ponens Modus Tollens Muslims necessary condition negation sign ordinary English patient has symptom predicated premises principle PROBLEM SET q is false q is true q statement Rawls is right relationship rules of inference rules of replacement Shiite shown in figure SIMP Smith Social Darwinism solving Stop sufficient condition Susan symbolic logic tautology truth table value of q WORD PROBLEMS