Intermediate Logic (Student Edition): Mastering Propositional Arguments / Edition 3

by Canon Press

Overview

Studying formal logic can be intimidating without the right help, but knowing how to think logically isn't just for "experts." Logic should be your secret weapon. It's the tool for learning how to use other tools. It's the bones that give a clenched fist its structure (and knuckles). With that in mind, we have painstakingly designed Intermediate Logic for everyday students, teachers, and parents who've never used truth tables or formal proofs of validity to work with syllogisms, but who know just how important and applicable learning logic is.

Product Details

ISBN-13:	9781591281665
Publisher:	Canon Press
Publication date:	06/01/2014
Series:	Canon Logic
Edition description:	3rd ed.
Pages:	368
Product dimensions:	8.40(w) x 10.90(h) x 0.80(d)
Age Range:	13 - 18 Years

Table of Contents

Preface to the First Edition

Preface to the Second Edition

Preface to the Third Edition

Introduction

UNIT ONE: TRUTH TABLES

Lesson 1: Introduction to Propositional Logic

Exercise 1

Lesson 2: Negation, Conjunction, and Disjunction

Exercise 2

Lesson 3: Truth Tables for Determining Truth Values

Exercise 3

Lesson 4: The Conditional

Exercise 4

Lesson 5: The Biconditional

Exercise 5

Lesson 6: Logical Equivalence and Contradiction

Exercise 6

Lesson 7: Truth Tables for Determining Validity

Exercise 7a

Exercise 7b

Lesson 8: Shorter Truth Tables for Determining Validity

Exercise 8

Lesson 9: Using Assumed Truth Values in Shorter Truth Tables

Exercise 9

Lesson 10: Shorter Truth Tables for Consistency

Exercise 10

Lesson 11: Shorter Truth Tables for Equivalence

Exercise 11

Lesson 12: The Dilemma

Exercise 12

Unit 1 Review Questions

Unit 1 Review Exercises

CONTENTS

INTERMEDIATE LOGIC

UNIT TWO: FORMAL PROOFS OF VALIDITY

Lesson 13: The Rules of Inference

Exercise 13

Lesson 14: Recognizing the Rules of Inference

Exercise 14a

Exercise 14b

Lesson 15: Developing Formal Proofs

Exercise 15a

Exercise 15b

Lesson 16: The Rules of Replacement

Exercise 16

Lesson 17: Practice with Proofs

Exercise 17a

Exercise 17b

Lesson 18: The Conditional Proof

Exercise 18

Lesson 19: Reductio ad Absurdum

Exercise 19

Lesson 20: Proving Rules Unnecessary

Exercise 20

Lesson 21: Truth-Functional Completeness

Exercise 21

Unit 2 Review Questions

Unit 2 Review Exercises

UNIT THREE: TRUTH TREES

Lesson 22: Truth Trees for Consistency

Exercise 22

Lesson 23: Decomposition Rules

Exercise 23

Lesson 24: Techniques for Constructing Truth Trees.

Exercise 24

Lesson 25: Truth Trees for Self-Contradiction and Tautology

Exercise 25

Lesson 26: Truth Trees for Equivalence

Exercise 26

Lesson 27: Truth Trees for Validity

Exercise 27

Unit 3 Review Questions

Unit 3 Review Exercises

UNIT FOUR: APPLYING THE TOOLS TO ARGUMENTS

Lesson 28: Applying the Tools to Actual Arguments

Exercise 28a

Exercise 28b

Exercise 28c

Unit 4 Review Questions

Unit 4 Review Exercises

UNIT FIVE: DIGITAL LOGIC

Lesson 29: Digital Displays

Exercise 29

Lesson 30: Numbers in Different Bases

Exercise 31

Lesson 31: Binary Arithmetic

Exercise 31

Lesson 32: Basic Logic Gates

Exercise 32

Lesson 33: Finding Truth Tables from Digital Logic Circuits

Exercise 33

Lesson 34: Converting Truth Tables into Digital Logic Circuits

Exercise 34

Lesson 35: NAND Gates and NOR Gates

Exercise 35

Lesson 36: Simplification Rules

Exercise 36

Lesson 37: Rules of Replacement

Exercise 37

Lesson 38: De Morgan's Theorem

Exercise 38

Lesson 39: Two More Logic Gates

Exercise 39

Lesson 40: Karnaugh Mapping

Exercise 40a

Exercise 40b

Unit 5 Review Questions

Unit 5 Review Exercises

APPENDICES

Appendix A: Defining Truth Tables for Five Logical Operators

Appendix B: Rules of Inference and Replacement

Appendix C: Truth Tree Decomposition Rules

Appendix D: Digital Logic Simplification Rules