Chapter Seven:
Predicate Logic: Symbolization and Deduction

In this chapter, we do full-scale predicate logic. This may sound difficult...but fortunately we've done most of the work already.

Tutorials

(Selected Answers for some of the exercise problems below.) Tutorial One:  PD: Derivations for PL Made Easy

Quizzes Q7.1a First Derivations in PD: Drop-down Q7.1b Your First PD Derivations Q7.1c QN Derivation Drop-down Q7.1d More QN Derivations
Exercises 7.1a Derivations for ^E and %I Flash Lectures for 7.1a 7.1b Derivations with QN Flash Lectures for 7.1b 7.1c Easier Derivations meant for class 7.1d More Derivations 7.1e Easy derivations for class 7.1f Black Friday Edition Derivation Tutorial Two: A Special Case: Derivations in Categorical Logic Flash Lectures for 7.2

Exercises 7.2a Finishing Obversion 7.2b Two Equivalent Symbolizations for Negative Categoricals 7.2c Two More Tutorial Three: PD completed: ^I and strategy

Quizzes Q7.3a Drop-down for ^I
Exercises 7.3a Derivations with ^I Flash Lectures for 7.3a 7.3b Four Harder Derivations with ^I and QN Flash Lectures for 7.3b 7.3c Introductory ^I Problems for Class 7.3d Review Exercises 7.1-7.3 (for class) 7.3e Still More EZ Review exercises 7.3f Somewhat Harder Derivations 7.3g More 7.3h Problems to remind you of Categorical Logic Flash Lectures for 7.3f 7.3i Problems (and answers) from the second Mock Exam (just part XIII)

Tutorial Four: The Language PL

Exercises
7.4 [gold] Syntax and Semantics Exercises

Tutorial Five: [gold] Tougher Symbolizations: Relations and Multiple Quantifiers

Exercises
7.5 [gold] Symbolization Exercises

Tutorial Six: [gold] Tougher Derivations: Derivations with Multiple Quantifiers

Exercises
7.6 [gold] Derivation Exercises