Formal presentations of Logic vary widely in their reliance on Set Theory. While some are heavily laden with set theory, most are not. However, it is nearly impossible to avoid Set Theory completely in any discussion of Formal Logic. In this book we will not make Set Theory a focal point, yet we will use vocabulary from Set Theory here and there, so in this section we will introduce the vocabulary and notation used.

While Set Theory treats set as a primitive term, meaning it has no formal definition, its intuitive meaning as a collection provides the foundation for much of modern mathematics. For this reason, while some authors may resort to quasi-synonyms such as 'collection', most mathematicians use the term 'set' to describe a fundamental, undefined concept that refers to a well-defined collection of distinct objects, known as elements. These elements can be anything: numbers, symbols, or even other sets. By extension, any type of data could feasibly be an element within a set.

So, a set has elements, yet element is also undefined in Set Theory. We say that an element is a member of a set, but member is also an undefined expression. Therefore, the following are all valid ways of expressing the same concept:

(element) x is a member of (set) y

(element) x is contained in (set) y

(element) x is included in (set) y

(set) y contains (element) x

(set) y includes (element) x

A set is typically specified by enclosing its members within braces. For example:

${\displaystyle \{1,2,3\}\,\!}$

is read as, “the set containing 1, 2, and 3 as its members.”

This brace notation can be extended to specify a set using a rule for membership:

${\displaystyle \{x:x=1{\text{ or }}x=2{\text{ or }}x=3\}\,\!}$

read as: “the set of all x such that x = 1, or x = 2, or x = 3”, is again the set containing 1, 2, and 3 as members.

Therefore:

${\displaystyle \{x:x{\text{ is a positive integer}}\}\,\!}$, and ${\displaystyle \{1,2,3,\ldots \}\,\!}$

both specify the set containing 1, 2, 3, and continuing onwards towards infinity.

A modified epsilon is used to denote set membership. Thus:

${\displaystyle x\in y\,\!}$

indicates that "x is a member of y".

To negate the above, we merely draw a slash through our modified epsilon. Therefore:

${\displaystyle x\notin y\,\!}$

indicates that "x is not a member of y."

A set is uniquely identified by its members. The expressions

${\displaystyle \{x:x\ \mathrm {is\ an\ even\ prime} \}\,\!}$

${\displaystyle \{x:x\ \mathrm {is\ a\ positive\ square\ root\ of} \ 4\}\,\!}$

${\displaystyle \{2\}\,\!}$

all specify the same set even though the concept of an even prime is different from the concept of a positive square root. However, repetition of members is inconsequential in specifying a set. The expressions:

${\displaystyle \{1,\ 2,\ 3\}\,\!}$

${\displaystyle \{1,\ 1,\ 1,\ 1,\ 2,\ 3\}\,\!}$

${\displaystyle \{x:\mathrm {x\ is\ an\ even\ prime\ or} \ x\ \mathrm {is\ a\ positive\ square\ root\ of} \ 4\ \mathrm {or} \ x=1\ \mathrm {or} \ x=2\ \mathrm {or} \ x=3\}\,\!}$

all specify the same set.

Sets are also unordered. The expressions:

${\displaystyle \{1,\ 2,\ 3\}\,\!}$

${\displaystyle \{3,\ 2,\ 1\}\,\!}$

${\displaystyle \{2,\ 1,\ 3\}\,\!}$

all specify the same set.

Sets can have other sets as members. There is, for example, the set

${\displaystyle \{\{1,\ 2\},\{2,\ 3\},\ \{1,\ \mathrm {George\ Washington} \}\}\,\!}$

As stated above, sets are defined by their members. Some sets, however, are given names to ease referencing them.

The set with no members is the ‘empty set’, which we represent as either ∅ or {}. Thus, the expressions:

${\displaystyle \{\}\,\!}$

${\displaystyle \varnothing \,\!}$

${\displaystyle \{x:x\neq x\}\,\!}$

all specify the empty set. Empty sets can also express oxymora ("four-sided triangles" or "birds with radial symmetry") and factual non-existence ("the King of Czechoslovakia in 1994").

A set with exactly one member is called a singleton. A set with exactly two members is called a pair. Thus {1} is a singleton and {1, 2} is a pair.

We represent the set of all the Natural numbers, with an omega. Therefore:

ω

is equivalent to {1, 2, 3, 4, …}

A set ’s’ is a subset of set ’a’ if every member of s is a member of a. We use the horseshoe notation to indicate subsets. Thus the expression:

${\displaystyle \{1,\ 2\}\subseteq \{1,\ 2,\ 3\}\,\!}$

reads as, “the set {1, 2} is a subset of {1, 2, 3}.” Given this fact, the ‘’’empty set’’’ is a ‘’subset’’ of every set, and every set is a subset of itself, whereas a ‘proper subset’ of a is a subset of a that is not identical to a. Therefore, the expression:

${\displaystyle \{1,\ 2\}\subset \{1,\ 2,\ 3\}\,\!}$

reads as, “the set {1, 2} is a proper subset of the set {1, 2, 3}.”

A power set of a set is the set of all its subsets. A script 'P' is used for the power set.

${\displaystyle {\mathcal {P}}\{1,\ 2,\ 3\}=\{\varnothing ,\ \{1\},\ \{2\},\ \{3\},\ \{1,\ 2\},\ \{1,\ 3\},\ \{2,\ 3\},\ \{1,\ 2,\ 3\}\}\,\!}$

The union of two sets a and b, written a ∪ b, is the set that contains all the members of a and all the members of b (and nothing else). That is,

${\displaystyle a\cup b=\{x:x\in a\ \mathrm {or} \ x\in b\}\,\!}$

As an example,

${\displaystyle \{1,\ 2,\ 3\}\ \cup \ \{2,\ 3,\ 4\}=\{1,\ 2,\ 3,\ 4\}\,\!}$

The intersection of two sets a and b, written a ∩ b, is the set that contains everything that is a member of both a and b (and nothing else). That is,

${\displaystyle a\cap b=\{x:x\in a\ \mathrm {and} \ x\in b\}\,\!}$

As an example,

${\displaystyle \{1,\ 2,\ 3\}\ \cap \ \{2,\ 3,\ 4\}=\{2,\ 3\}\,\!}$

The relative complement of a in b, written b \ a (or b − a) is the set containing all the members of b that are not members of a. That is,

${\displaystyle b\setminus a=\{x:x\in b\ \mathrm {and} \ x\notin a\}\,\!}$

As an example,

${\displaystyle \{2,\ 3,\ 4\}\setminus \{1,\ 3\}=\{2,\ 4\}\,\!}$

The intuitive notions of ordered set, relation, and function will be used from time to time. For our purposes, the intuitive mathematical notion is the most important. However, these intuitive notions can be defined in terms of sets.

First, we look at ordered sets. We said that sets are unordered:

${\displaystyle \{a,\ b\}=\{b,\ a\}\,\!}$

But we can define ordered sets, starting with ordered pairs. The angle bracket notation is used for this:

${\displaystyle \langle a,\ b\rangle \ \neq \ \langle b,\ a\rangle \,\!}$

Indeed,

${\displaystyle \langle x,\ y\rangle \ =\ \langle u,\ v\rangle \ {\mbox{if and only if}}\ x=u\ {\mbox{and}}\ y=v\,\!}$

Any set theoretic definition giving ⟨a, b⟩ this last property will work. The standard definition of the ordered pair ⟨a, b⟩ runs:

${\displaystyle \langle a,\ b\rangle \ =\ \{\{a\},\ \{a,\ b\}\}\,\!}$

This means that we can use the latter notation when doing operations on an ordered pair.

There are also bigger ordered sets. The ordered triple ⟨a, b, c⟩ is the ordered pair ⟨⟨a, b⟩, c⟩. The ordered quadruple ⟨a, b, c, d⟩ is the ordered pair ⟨⟨a, b, c⟩, d⟩. This, in turn, is the ordered triple ⟨⟨⟨a, b⟩, c⟩, d⟩. In general, an ordered n-tuple ⟨a₁, a₂, ..., a_n⟩ where n greater than 1 is the ordered pair ⟨⟨a₁, a₂, ..., a_n-1⟩, a_n⟩.

It can be useful to define an ordered 1-tuple as well: ⟨a⟩ = a.

These definitions are somewhat arbitrary, but it is nonetheless convenient for an n-tuple, n ⟩ 2, to be an n-1 tuple and indeed an ordered pair. The important property that makes them serve as ordered sets is:

${\displaystyle \langle x_{1},\ x_{2},\ ...,\ x_{n}\rangle \ =\ \langle y_{1},\ y_{2},\ ...,\ y_{n}\rangle \ \mathrm {if\ and\ only\ if} \ x_{1}=y_{1},\ x_{2}=y_{2},\ ...,\ x_{n}=y_{n}\,\!}$

We now turn to relations. Intuitively, the following are relations:

x < y

x is a square root of y

x is a brother of y

x is between y and z

The first three are binary or 2-place relations; the fourth is a ternary or 3-place relation. In general, we talk about n-ary relations or n-place relations.

First consider binary relations. A binary relation is a set of ordered pairs. The less than relation would have among its members ⟨1, 2⟩, ⟨1, 3⟩, ⟨16, 127⟩, etc. Indeed, the less than relation defined on the natural numbers ω is:

${\displaystyle \{\langle x,\ y\rangle :x\in \omega ,\ y\in \omega ,\ \mathrm {and} \ x<y\}\,\!}$

Intuitively, ⟨x, y⟩ is a member of the less than relation if x < y. In set theory, we do not worry about whether a relation matches an intuitive concept such as less than. Rather, any set of ordered pairs is a binary relation.

We can also define a 3-place relation as a set of 3-tuples, a 4-place relation as a set of 4-tuples, etc. We only define n-place relations for n ≥ 2. An n-place relation is said to have an arity of n. The following example is a 3-place relation.

${\displaystyle \{\langle 1,\ 2,\ 3\rangle ,\ \langle 8,\ 2,\ 1\rangle ,\ \langle 653,\ 0,\ 927\rangle \}\,\!}$

Because all n-tuples where n > 1 are also ordered pairs, all n-place relations are also binary relations.

Finally, we turn to functions. Intuitively, a function is an assignment of values to arguments such that each argument is assigned at most one value. Thus the + 2 function assigns a numerical argument x the value x + 2. Calling this function f, we say f(x) = x + 2. The following define specific functions.

${\displaystyle f_{1}(x)=x\times x\,\!}$

${\displaystyle f_{2}(x)=\ \mathrm {the\ smallest\ prime\ number\ larger\ than} \ x\,\!}$

${\displaystyle f_{3}(x)=6/x\ \!}$

${\displaystyle f_{4}(x)=\ \mathrm {the\ father\ of\ x} \,\!}$

Note that f₃ is undefined when x = 0. According to biblical tradition, f₄ is undefined when x = Adam or x = Eve. The following do not define functions.

${\displaystyle f_{5}(x)=\pm {\sqrt {x}}\,\!}$

${\displaystyle f_{6}(x)=\ \mathrm {a\ son\ of\ x} \,\!}$

Neither of these assigns unique values to arguments. For every positive x, there are two square roots, one positive and one negative, so f₅ is not a function. For many x, x will have multiple sons, so f₆ is not a function. If f₆ is assigned the value the son of x then a unique value is implied by the rules of language, therefore f₆ will be a function.

A function f is a binary relation where, if ⟨x, y⟩ and ⟨x, z⟩ are both members of f, then y = z.

We can define many place functions. Intuitively, the following are definitions of specific many place functions.

${\displaystyle f_{7}(x,\ y)=x+y\,\!}$

${\displaystyle f_{8}(x,\ y,\ z)=(x+y)\times z\,\!}$

Thus ⟨4, 7, 11⟩ is a member of the 2-place function f₇. ⟨3, 4, 5, 35⟩ is a member of the 3 place function f₈

The fact that all n-tuples, n ≥ 2, are ordered pairs (and hence that all n-ary relations are binary relations) becomes convenient here. For n ≥ 1, an n-place function is an n+1 place relation that is a 1-place function. Thus, for a 2-place function f,

${\displaystyle \langle x,\ y,\ z_{1}\rangle \ \in f\ \mathrm {and} \ \langle x,\ y,\ z_{2}\rangle \ \in f\ \mathrm {if\ and\ only\ if} \ z_{1}=z_{2}\,\!}$