Logic and Proofs. Chapter 1

Transcription

1 Section Chapter 1 Logic and Proofs 1.1 Propositional Logic 1.2 Propositional Equivalences 1.3 Predicates and Quantifiers 1.4 Nested Quantifiers 1.5 Rules of Inference 1.6 Introduction to Proofs 1.7 Proof Methods and Strategy

2 Section 1.1 Propositional Logic PROPOSITIONAL LOGIC PROPOSITIONS

3 1.1.2 Chapter 1 Logic and Proofs

4 Section 1.1 Propositional Logic TRUTH TABLES

5 1.1.4 Chapter 1 Logic and Proofs

6 Section 1.1 Propositional Logic 1.1.5

7 1.1.6 Chapter 1 Logic and Proofs

8 Section 1.1 Propositional Logic CONDITIONAL OPERATOR

9 1.1.8 Chapter 1 Logic and Proofs

10 Section 1.1 Propositional Logic COMPOUND PROPOSITIONAL FORMS

11 Chapter 1 Logic and Proofs

12 Section 1.1 Propositional Logic

13 Section 1.2 Logical Equivalences LOGICAL EQUIVALENCES

14 1.2.2 Chapter 1 Logic and Proofs CONTRAPOSITIVE, etc.

15 Section 1.2 Logical Equivalences 1.2.3

16 1.2.4 Chapter 1 Logic and Proofs CATEGORIES of PROPOSITIONAL FORMS

17 Section 1.2 Logical Equivalences LAWS of LOGIC AVOIDING BOREDOM

18 Section 1.3 Predicates & Quantifiers PREDICATES & QUANTIFIERS

19 1.3.2 Chapter 1 Logic and Proofs VARYING THE DOMAIN

20 Section 1.3 Predicates & Quantifiers CLASSROOM EXERCISE

21 1.3.4 Chapter 1 Logic and Proofs SCOPE of QUANTIFIERS

22 Section 1.3 Predicates & Quantifiers NEGATION with QUANTIFIERS CLASSROOM EXERCISE

23 Section 1.4 Nested Quantifiers NESTED QUANTIFIERS TRANSPOSING QUANTIFIERS

24 1.4.2 Chapter 1 Logic and Proofs RECALL NEGATION with QUANTIFIERS CLASSROOM EXERCISE

25 Section 1.4 Nested Quantifiers OPTIONAL CLASSROOM EXERCISE

26 Section 1.5 Rules of Inference RULES OF INFERENCE

27 1.5.2 Chapter 1 Logic and Proofs VALID ARGUMENTS

28 Section 1.5 Rules of Inference 1.5.3

29 1.5.4 Chapter 1 Logic and Proofs FALLACIES

30 Section 1.5 Rules of Inference NOTORIOUS FALLACIES

31 1.5.6 Chapter 1 Logic and Proofs VALIDITY and TRUTH LOGICAL RULES of INFERENCE

32 Section 1.5 Rules of Inference 1.5.7

33 1.5.8 Chapter 1 Logic and Proofs MATHEMATICAL PROOFS (DIRECT)

34 Section 1.5 Rules of Inference MATHEMATICAL PROOFS (INDIRECT)

35 Chapter 1 Logic and Proofs TERMINOLOGY

36 Section 1.6 Introduction to Proofs INTRODUCTION TO PROOFS TWO FAMOUS PROBLEMS

37 Section 1.7 Proof Strategy PROOF STRATEGY FORWARD AND BACKWARD REASONING

38 1.7.2 Chapter 1 Logic and Proofs MATHEMATICAL PROOFS (by CASES)

39 Section 1.7 Proof Strategy PROVING QUANTIFIED ASSERTIONS

40 Section 1.9 Logic Supplement LOGIC SUPPLEMENT PROPOSITIONS

41 1.9.2 Chapter 1 Logic and Proofs TIME OUT to discuss OBSCENITY

42 Section 1.9 Logic Supplement 1.9.3