Definition:Language of Predicate Logic/Bourbaki

Definition
There are many formal languages expressing predicate logic.

The formal language used on is defined on Definition:Language of Predicate Logic.

This page defines the formal language $\LL_1$ used in:



Explanations are omitted as this is intended for reference use only.

Letters
The letters used comprise two classes:


 * First, a class of variables $A, A', A'', \ldots$, called "letters"
 * Second, a signature, called the "specific signs"
 * The relation symbols are called "relational signs"
 * The function symbols are called "substantific signs"

See the definition.

Signs
The signs used are the following:

and are called "logical signs".

See the definition.

Collation System
The collation system used is that of Bourbaki assemblies.

See the definition.

Also see

 * Definition:Language of Predicate Logic