Chapter Six
Predicate Logic:
an introduction to PL

In this chapter, we move from our language of compound sentences, SL, to a language that investigates the structure of individual sentences. To think about this change, revisit the chemistry analogy we used when SL was introduced: We take atomic sentences and compound them to make molecular sentences. In PL, we add a level of analysis: We look into the "atoms" and analyze their structure. We may, then, think of our current work as "subatomic logic".

So, we will develop structures in our new language, PL, to symbolize the parts of simple sentences of natural language. For example, we will be able to represent names, descriptions, and quantity terms that make up simple sentences. In so doing, we will produce a language with far greater expressive power.

Start with the introductory tutorials presented below, then print out the reference manual for this chapter (that way you'll have a concise statement of this chapter's details to refer to even when away from the computer.) Finally, and most importantly, carefully work your way through the chapter exercises.

Still don't have the Logic Font? Having problems installing it? Here's how to better display quantifiers in exercises even when you don't have the font.

Tutorials for Chapter Six

1.	Predicate Logic Introduction  Mouseover Guide   First Symbolizations
2.	Basic PL Symbolizations
3.	PL Syntax

Exercises for Chapter Six

6.1ex I First Symbolizations
6.1ex II Multiple Choice
6.1ex III More Multiple Choice Symbolizations
6.1ex IV More Symbolizations

6.2ex I Multiple Choice
6.2ex II Matching
6.2ex III Multiple Choice
6.2ex IV Symbolizations

6.3ex I Drag...
6.3ex II PL Formula Check
6.3ex III PL Sentence Check
6.3ex IV PL Substitution Instance Check
6.3ex V Multiple Choice

Chapter 6: Statement of the exercises.