# Formal Logic/Predicate Logic/The Predicate Language

← Goals |
↑ Predicate Logic |
Formal Syntax → |

# The Predicate Language[edit]

This page informally describes our **predicate language** which we name . A more formal description will be given in subsequent pages.

## Language components[edit]

Use of occurs in the context of a *domain* of objects. Ascribing a property to everything is interpreted as ascribing it just to everything in the domain.

### Terms[edit]

*Variables* will be lower case letters * n* through

*. Variables serve roughly as placeholders or perhaps pronouns, particularly in general statements about all or some objects. A variable could serve as the 'it' in 'For any number, if it is even then it is not odd'.*

**z***Operation letters* of zero or more places will consist of lower case letters * a* through

*. Since the same letters are used for operation letters of any number of places, some disambiguation will be necessary. For now, just let the context decide the number of places. Note, though, that variables always have zero places.*

**m***Terms* can be one of the following.

- A variable.
- A zero-place operation letter.
- An
*n*-place operation letter (*n*being 1 or greater) followed by a parenthesised list of*n*terms. Examples include

*Names* are terms in which no variables occur. Names name. In particular, they name objects in the domain. Variables, and so terms containing variables (i.e., terms that are not names), do not name.

For the remainder of this page, assume the following translations.

With the right set of characters in the domain, biblical tradition has

naming Cain and Adam respectively. The term

doesn't name anything. However, if we abuse a bit by permitting numerals to serve as zero place operation letters, then the terms

name 7 and 3 respectively (assuming that 7 and 3 are in the domain).

### Primitive formulae[edit]

*Predicate letters* of zero or more places will consist of capital letters **A** through **Z**. The same letters will be used for predicate letters of any number of places, so, as with operation letters, we will need to disambiguate. Again as with operation letters, we will let context decide the number of places for now. Notice that zero-place predicate letters are sentence letters we are familiar with from sentential logic.

*Primitive formulae* can be one of the following.

- A zero-place predicate letter (that is, a sentence letter).
- An
*n*-place predicate letter (*n*being 1 or greater) followed by a parenthesised list of*n*terms. Examples include

If translates 'Snow is white', then it is true. However, it is false if it translates 'Snow is blue'.

Suppose we add

to the translations above. Then

is true or false according with whether Adam was bald. We say that is true of all bald things and false of all non-bald things. Thus the first of

is true while the second is false. For confirmation of these truth evaluations, see pictures accompanying the Wikipedia articles on Yul Brenner and Don King. (Note. At one point, the picture of Don King had been removed from the Wikipedia article. However, he rather famously is not bald.)

Now add

to the translations above. Then

is neither true nor false because, as above,

does not name anything. For that matter, neither do the variables or . But if we again abuse a bit by permitting numerals to serve as zero place operation letters, then the first of

is true while the second is false.

### Sentential connectives[edit]

The predicate language will use sentential connectives just as they were used in the sentential language . These were:

Using the translations already set above (together with letting numerals be zero-place operation letters),

is true while

is false.

### Quantifiers[edit]

*Quantifiers* are special symbols that allow us to construct general sentences which are about all thing or about some (at least one) things.

- translates to English as 'for all
*x'*. - is called a
*universal generalization*. - is true if is true of all objects in the domain. Roughly speaking, it is true if

- where each names an object in the domain and all objects in the domain are named. This is only a rough characterization, however. First, we do not require that all objects in the domain have a name in the predicate languange. Second, we allow there to be infinitely many objects in the domain but do not allow infinitely long sentences.

- Some authors use instead of . This notation is semi-obsolete and is becoming ever less frequent.

- translates to English as 'for all

- translates to English as 'there exists an
*x*' or, perhaps a bit more clearly, 'there exists at least one*x*'. - is called an
*existential generalization*. - is true if is true of at least one object in the domain. Roughly speaking, it is true if

- where each names an object in the domain and all objects in the domain are named. This is only a rough characterization, however. First, we do not require that all objects in the domain have a name in the predicate language. Second, we allow there to be infinitely many objects in the domain but do not allow infinitely long sentences.

- translates to English as 'there exists an

## Translation[edit]

Using the translation scheme

we translate as follows.

- All numbers are prime.

- Some numbers are prime.

- No numbers are prime.
*(two equivalent alternatives are given)*

- Some numbers are not prime.

Now using the translation scheme

we can translate as follows.

- George loves Martha.

- Martha loves George.

- George and Martha love each other.

We can further translate as follows.

- Everybody loves everybody.
*(the second alternative assumes only persons in the domain)*

- Somebody loves somebody.
*(the second alternative assumes only persons in the domain)*

- Everybody loves somebody (or other).
*(the second alternative assumes only persons in the domain)*

- Somebody is loved by everybody.
*(the second alternative assumes only persons in the domain)*

- Everybody is loved by somebody (or other).
*(the second alternative assumes only persons in the domain)*

- Somebody loves everybody.
*(the second alternative assumes only persons in the domain)*