Chapter Six:

Predicate Logic: Quantifiers and Categories

In this chapter, we turn back to our formal language with names and predicates. But we add one small but terribly important element: the ability to talk about quantities. In English, this just means the words "all" and "some". This little wrinkle will take some time to develop.

**Tutorial One:** **Predicate Logic Introduction**

Quizzes

Q6.1a Sentences of PL without quantifiers

Q6.1b Main Connectives Again

Q6.1c More Quantifiers

Exercises

6.1a Derivations (EZ ones!)

Flash Lecture

6.1b Symbolizations without Quantifiers

Flash Lecture

6.1c Syntax for PL

Flash Lecture

6.1d Symbolizations with Quantifiers

Flash Lecture

6.1e Symbolization Introduction (for class)

6.1f More EZ Derivations (for class)

**Tutorial Two:** **Categorical Logic and Venn Diagrams**

Flash Lecture Introduction to 6.2

Flash Lecture for 6.2's Symbolizations

Exercises

6.2a Venn Diagrams

6.2b Symbolization of Categorical Statements

6.2c More Symbolization of Categorical Statements

**Tutorial Three:** **Categorical Equivalences: Conversion, Obversion, Contraposition **

Flash Lecture for 6.3

Exercises

6.3a Equivalences

**Tutorial Four: ****Categorical Syllogisms**

Flash Lecture for 6.4

...NOTE THAT STRIKE-THROUGH AND SHADING ARE THE SAME THING!Exercises

6.4a Categorical Syllogisms Multiple Choice I (Thanks to W.W. Norton for putting these online)

6.4b Categorical Syllogisms Multiple Choice II (Thanks to W.W. Norton for putting these online)

6.4c Power of Logic Diagrams I

6.4d Power of Logic Diagrams II

Again:strike-through(from the logic cafe) andshading(used in 6.4a-6.4d) are the same thing.Flash review for Venn Diagrams

**Tutorial Five: ** **PL for Categorical Logic**

Flash Lecture for 6.5

Basic Symbolizations in PL: names, quantifiers, relationsPresentation

(Well worth doing!)

Quizzes

Q6.5a Symbolizations

Q6.5b Symbolizations

Q6.5c Symbolizations

Exercises

6.5a Symbolizations I

6.5b Symbolization II: Multiple Choice

6.5c Symbolizations III

6.5d Symbolization IV: Inspired by 6.1

6.5e Review Problems

6.5f Problems for Lecture

6.5g Symbolization V

6.5h Symbolizations for the US Thanksgiving Holidays

Reference

**Chapter Six ****Reference**