1.logic and proofs

Section 1.0 1.0.1

Chapter 1Logic andProofs

1.1 Propositional Logic1.2 Applications of Prop. Logic (read-only)1.3 Propositional Equivalences1.4 Predicates and Quantifiers1.5 Nested Quantifiers1.6 Rules of Inference1.7 Introduction to Proofs1.8 Proof Methods and Strategy

coursenotes by Prof. J. L. Gross for Rosen 7th Edition

Section 1.1 Propositional Logic 1.1.1

1.1 PROPOSITIONAL LOGIC

PROPOSITIONS


1.1.2 Chapter 1 Logic and Proofs



TRUTH TABLES



CONDITIONAL OPERATOR



COMPOUND PROPOSITIONAL FORMS


Section 1.3 Logical Equivalences 1.3.1

1.3 LOGICAL EQUIVALENCES



CONTRAPOSITIVE, etc.



CATEGORIES of PROPOSITIONAL FORMS



LAWS of LOGIC

AVOIDING BOREDOM


Section 1.4 Predicates & Quantifiers 1.4.1

1.4 PREDICATES & QUANTIFIERS



VARYING THE DOMAIN



CLASSROOM EXERCISE



SCOPE of QUANTIFIERS



NEGATION with QUANTIFIERS

CLASSROOM EXERCISE


Section 1.5 Nested Quantifiers 1.5.1

1.5 NESTED QUANTIFIERS



TRANSPOSING QUANTIFIERS


Section 1.5 Nested Quantifiers 1.5.3

RECALL NEGATION with QUANTIFIERS

CLASSROOM EXERCISE



OPTIONAL CLASSROOM EXERCISE


Section 1.6 Rules of Inference 1.6.1

1.6 RULES OF INFERENCE



VALID ARGUMENTS



FALLACIES



NOTORIOUS FALLACIES



VALIDITY and TRUTH

LOGICAL RULES of INFERENCE


Section 1.7 Introduction to Proofs 1.7.1

1.7 INTRODUCTION TO PROOFS

TWO FAMOUS PROBLEMS



MATHEMATICAL PROOFS (DIRECT)


Section 1.7 Introduction to Proofs 1.7.3

MATHEMATICAL PROOFS (INDIRECT)



TERMINOLOGY


Section 1.8 Proof Strategy 1.8.1

1.8 PROOF STRATEGY

FORWARD AND BACKWARD REASONING



MATHEMATICAL PROOFS (by CASES)


Section 1.8 Proof Strategy 1.8.3

PROVING QUANTIFIED ASSERTIONS


Section 1.9 Logic Supplement 1.9.1

1.9 LOGIC SUPPLEMENT

PROPOSITIONS



TIME OUT to discuss OBSCENITY


Section 1.9 Logic Supplement 1.9.3


1.logic and proofs

Documents

logic andproofs1

propositional logic1

propositional equivalences1

nested quantifierscoursenotes

nested quantifiers1

rules of inference1

rules of inferencecoursenotes

recall negation