A...Z

Home
+How To ...
+Chapter 1, Basic Concepts
+Chapter 2, Language Meaning and Definition
+Chapter 3, Informal Fallacies
+Chapter 4, Categorical Logic
+Chapter 5, Syllogisms
+Chapter 6, Propositional Logic
+Chapter 7, Natural Deduction in Propositional Logic

-Chapter 8, Predicate Logic

• Predicate Logic Notation
• Quantifiers
• 8.1 Standardization
• 8.1 AND
• 8.1 ANY
• Quantifier Scope
• Existential Generalization
• Existential Instantiation
• Universal Generalization
• Universal Instantiation
• Editing a Proof
• Hints and Tricks
• Universal Quantifier Strategy
• Existential Quantifier Strategy
• Change Of Quantifier
• Finite Universe for Quantifier Invalidity
• Truth Values (Quantifier Invalidity)
• Identity Rules
• Identity Strategy

+Chapter 9, Induction
+Supplement, Truth Trees