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

**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

**Tutorial Four:** **The Language PL **

- Flash Intro to the language
- [gold] Syntax and Semantics for Quantifiers and Relations
- [gold] Semantics Demo

**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

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

Q7.3a Drop-down for ^I

Q7.4a Basic Symbolizations in PL: names, quantifiers, relations

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.2a Finishing Obversion

7.2b Two Equivalent Symbolizations for Negative Categoricals

7.2c Two More

Flash Lectures for 7.2

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

7.4 [gold] Syntax and Semantics Exercises

7.5 [gold] Symbolization Exercises

7.6 [gold] Derivation Exercises