The Predicate LanguageEdit
This page informally describes our predicate language which we name . A more formal description will be given in subsequent pages.
Language componentsEdit
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.
TermsEdit
Variables will be lower case letters n through z. 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'.
Operation letters of zero or more places will consist of lower case letters a through m. 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.
Terms can be one of the following.
 A variable.
 A zeroplace operation letter.
 An nplace 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 formulaeEdit
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 zeroplace predicate letters are sentence letters we are familiar with from sentential logic.
Primitive formulae can be one of the following.
 A zeroplace predicate letter (that is, a sentence letter).
 An nplace 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 nonbald 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 connectivesEdit
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 zeroplace operation letters),
is true while
is false.
QuantifiersEdit
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 semiobsolete and is becoming ever less frequent.

 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 languange. Second, we allow there to be infinitely many objects in the domain but do not allow infinitely long sentences.
TranslationEdit
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)