Appendix A Symbolic notation
A.1 Alternative nomenclature
Truthfunctional logic
TFL goes by other names. Sometimes it is called sentential logic, because it deals fundamentally with sentences. Sometimes it is called propositional logic, on the idea that it deals fundamentally with propositions. We have stuck with truthfunctional logic, to emphasize the fact that it deals only with assignments of truth and falsity to sentences, and that its connectives are all truthfunctional.
Firstorder logic
FOL goes by other names. Sometimes it is called predicate logic, because it allows us to apply predicates to objects. Sometimes it is called quantified logic, because it makes use of quantifiers.
Formulas
Some texts call formulas wellformed formulas. Since ‘wellformed formula’ is such a long and cumbersome phrase, they then abbreviate this as wff. This is both barbarous and unnecessary (such texts do not countenance ‘illformed formulas’). We have stuck with ‘formula’.
In chapter 6, we defined sentences of TFL. These are also sometimes called ‘formulas’ (or ‘wellformed formulas’) since in TFL, unlike FOL, there is no distinction between a formula and a sentence.
Valuations
Some texts call valuations truthassignments, or truthvalue assignments.
$n$Place predicates
We have chosen to call predicates ‘oneplace’, ‘twoplace’, ‘threeplace’, etc. Other texts respectively call them ‘monadic’, ‘dyadic’, ‘triadic’, etc. Still other texts call them ‘unary’, ‘binary’, ‘ternary’, etc.
Names
In FOL, we have used ‘$a$’, ‘$b$’, ‘$c$’, for names. Some texts call these ‘constants’. Other texts do not mark any difference between names and variables in the syntax. Those texts focus simply on whether the symbol occurs bound or unbound.
Domains
Some texts describe a domain as a ‘domain of discourse’, or a ‘universe of discourse’.
A.2 Alternative symbols
In the history of formal logic, different symbols have been used at different times and by different authors. Often, authors were forced to use notation that their printers could typeset. This appendix presents some common symbols, so that you can recognize them if you encounter them in an article or in another book.
Negation
Two commonly used symbols are the hoe,‘$\neg $’, and the swung dash or tilde, ‘$\sim $.’ In some more advanced formal systems it is necessary to distinguish between two kinds of negation; the distinction is sometimes represented by using both ‘$\neg $’ and ‘$\sim $’. Older texts sometimes indicate negation by a line over the formula being negated, e.g., ‘$\overline{A\wedge B}$’, or by a minus sign ‘$$’. Many texts use ‘$x\ne y$’ to abbreviate ‘$\neg x=y$’.
Disjunction
The symbol ‘$\vee $’ is typically used to
symbolize inclusive disjunction. One etymology is from the Latin word
‘vel’, meaning ‘or’. In some texts in the socalled algebraic
tradition, disjunction is written as addition ‘$+$’. In many
programming languages, a vertical bar ‘
’ (or two: ‘
’)
are used. (This lends itself to confusion with the Sheffer stroke of
chapter 46, which is standardly written
as ‘$\mid $’.)
Conjunction
Conjunction is often symbolized with the ampersand, ‘&’. The ampersand is a decorative form of the Latin word ‘et’, which means ‘and’. (Its etymology still lingers in certain fonts, particularly in italic fonts; thus an italic ampersand might appear as ‘ & ’.) This symbol is commonly used in natural English writing (e.g. ‘Smith & Sons’), and so even though it is a natural choice, many logicians use a different symbol to avoid confusion between the object and metalanguage: as a symbol in a formal system, the ampersand is not the English word ‘&’. The most common choice now is ‘$\wedge $’, which is a counterpart to the symbol used for disjunction. Sometimes a single dot, ‘•’, is used. In some older texts, there is no symbol for conjunction at all; ‘$A$ and $B$’ is simply written ‘$AB$’.
Material conditional
There are two common symbols for the material conditional: the arrow, ‘$\to $’, and the horseshoe, ‘$\supset $’.
Material biconditional
The doubleheaded arrow, ‘$\leftrightarrow $’, is used in systems that use the arrow to represent the material conditional. Systems that use the horseshoe for the conditional typically use the triple bar, ‘$\equiv $’, for the biconditional.
Quantifiers
The universal quantifier is typically symbolized as a rotated ‘A’, and the existential quantifier as a rotated, ‘E’. In some texts, there is no separate symbol for the universal quantifier. Instead, the variable is just written in parentheses in front of the formula that it binds. For example, they might write ‘$(x)P(x)$’ where we would write ‘$\forall xP(x)$’. Some texts also use large versions of our conjunction and disjunction connectives, i.e., ‘$\bigwedge $’ and ‘$\bigvee $’, for the universal and existential quantifier, respectively. (The variable is sometimes set as a subscript to these symbols, or even underneath them.)
These alternative typographies are summarised below:
negation  $\neg $, $\sim $, $$, $\overline{A}$ 
conjunction  $\wedge $, $\&$, • 
disjunction 
$\vee $, $+$,  , 

conditional  $\to $, $\supset $ 
biconditional  $\leftrightarrow $, $\equiv $ 
universal quantifier  $\forall x$, $(x)$, ${\bigwedge}_{x}$ 
existential quantifier  $\exists x$, ${\bigvee}_{x}$ 
A.3 Polish notation
This section briefly discusses sentential logic in Polish notation, a system of notation introduced in the late 1920s by the Polish logician Jan Łukasiewicz.
Lower case letters are used as sentence letters. The capital letter $N$ is used for negation. $A$ is used for disjunction, $K$ for conjunction, $C$ for the conditional, $E$ for the biconditional. (‘$A$’ is for alternation, another name for logical disjunction. ‘$E$’ is for equivalence.)
In Polish notation, a binary connective is written before the two sentences that it connects. For example, the sentence $A\wedge B$ of TFL would be written $Kab$ in Polish notation.
The sentences $\neg A\to B$ and $\neg (A\to B)$ are very different; the main logical operator of the first is the conditional, but the main connective of the second is negation. In TFL, we show this by putting parentheses around the conditional in the second sentence. In Polish notation, parentheses are never required. The leftmost connective is always the main connective. The first sentence would simply be written $CNab$ and the second $NCab$.
This feature of Polish notation means that it is possible to evaluate sentences simply by working through the symbols from right to left. If you were constructing a truth table for $NKab$, for example, you would first consider the truthvalues assigned to $b$ and $a$, then consider their conjunction, and then negate the result. The general rule for what to evaluate next in TFL is not nearly so simple. In TFL, the truth table for $\neg (A\wedge B)$ requires looking at $A$ and $B$, then looking in the middle of the sentence at the conjunction, and then at the beginning of the sentence at the negation. Because the order of operations can be specified more mechanically in Polish notation, variants of Polish notation are used as the internal structure for many computer programming languages.