Chapter 6, Tutorial 1
Predicate Logic Introduction

In this chapter, we extend our formal language beyond sentence letters and connectives. And even beyond predicates and names. Just one small wrinkle, adding two further connectives, allows our simple logic to become quite sophisticated. These two connectives are called "quantifiers" because they describe the quantities ALL and SOME.

Still, the price to pay in difficulty is not too bad. We will introduce the language of quantifiers in this tutorial. Then give it clearer meaning and better connection to natural language in later tutorials.

Let's begin with a review of our sentence logic but with names and predicates only; no quantifiers.