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.

Tutorials

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!)
Video Lecture
6.1b Symbolizations without Quantifiers
Video Lecture
6.1c Syntax for PL
Video Lecture
6.1d Symbolizations with Quantifiers
Video Lecture
6.1e Symbolization Introduction (for class)
6.1f More EZ Derivations (for class)

Tutorial Two: Categorical Logic and Venn Diagrams

Video Lecture Introduction to 6.2
Video Lecture for 6.2's Symbolizations
Exercises
6.2a Venn Diagrams
6.2b Symbolization of Categorical Statements
6.2c More Symbolization of Categorical Statements

Video Lecture for 6.3
Exercises
6.3a Equivalences

Tutorial Four: Categorical Syllogisms

Video Lecture for 6.4
Exercises...NOTE THAT STRIKE-THROUGH AND SHADING ARE THE SAME THING!
6.4a See Practice Quiz in Moodle
6.4b Some problems to do on paper then check online
6.4c Power of Logic Diagrams I
6.4d Power of Logic Diagrams II
Again: strike-through (from the logic cafe) and shading (used in 6.4a-6.4d) are the same thing.

Tutorial Five: PL for Categorical Logic

Video Lecture for 6.5

Quizzes
(Well worth doing!)
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