Professional Documents
Culture Documents
1.0.1
Chapter
1.1
PROPOSITIONAL LOGIC
PROPOSITIONS
1.1.1
1.1.2
TRUTH TABLES
1.1.3
1.1.4
1.1.5
1.1.6
CONDITIONAL OPERATOR
1.1.7
1.1.8
1.1.9
1.1.10
1.1.11
1.3
LOGICAL EQUIVALENCES
1.3.1
1.3.2
CONTRAPOSITIVE, etc.
1.3.3
1.3.4
LAWS of LOGIC
AVOIDING BOREDOM
1.3.5
1.4
1.4.1
1.4.2
CLASSROOM EXERCISE
1.4.3
1.4.4
SCOPE of QUANTIFIERS
CLASSROOM EXERCISE
1.4.5
1.5
NESTED QUANTIFIERS
1.5.1
1.5.2
TRANSPOSING QUANTIFIERS
1.5.3
CLASSROOM EXERCISE
1.5.4
1.6
RULES OF INFERENCE
1.6.1
1.6.2
VALID ARGUMENTS
1.6.3
1.6.4
FALLACIES
NOTORIOUS FALLACIES
1.6.5
1.6.6
1.6.7
1.7
1.7.1
INTRODUCTION TO PROOFS
1.7.2
1.7.3
1.7.4
TERMINOLOGY
1.8
1.8.1
PROOF STRATEGY
1.8.2
1.8.3
1.9
LOGIC SUPPLEMENT
PROPOSITIONS
1.9.1
1.9.2
1.9.3