Formal Logic/Sentential Logic/The Sentential Language

= The Sentential Language =

This page informally describes our sentential language which we name $$\mathcal{L_S}\,\!$$. A more formal description will be given in Formal Syntax and Formal Semantics

Sentence letters
Sentences in $$\mathcal{L_S}\,\!$$ are represented as sentence letters, which are single letters such as $$\mathrm{P},\ \mathrm{Q},\ \mathrm{R},$$ and so on. Some texts restrict these to lower case letters, and others restrict them to capital letters. We will use capital letters.

Intuitively, we can think of sentence letters as English sentences that are either true or false. Thus, $$\mathrm{P}\,\!$$ may translate as 'The Earth is a planet' (which is true), or 'The moon is made of green cheese' (which is false). But $$\mathrm{P}\,\!$$ may not translate as 'Great ideas sleep furiously' because such a sentence is neither true nor false. Translations between English and $$\mathcal{L_S}\,\!$$ work best if they are restricted to timelessly true or false present tense sentences in the indicative mood. You will see in the translation section below that we do not always follow that advice, wherein we present sentences whose truth or falsity is not timeless.

Sentential connectives
Sentential connectives are special symbols in Sentential Logic that represent truth functional relations. They are used to build larger sentences from smaller sentences. The truth or falsity of the larger sentence can then be computed from the truth or falsity of the smaller ones.

$$\mbox{Conjunction:}\ \land\,\!$$
 * Translates to English as 'and'.
 * $$\mathrm{P} \land \mathrm{Q}\,\!$$ is called a conjunction and $$\mathrm{P}\,\!$$ and $$\mathrm{Q}\,\!$$ are its conjuncts.
 * $$\mathrm{P} \land \mathrm{Q}\,\!$$ is true if both $$\mathrm{P}\,\!$$ and $$\mathrm{Q}\,\!$$ are true&mdash;and is false otherwise.
 * Some authors use an & (ampersand), &bull; (heavy dot) or juxtaposition. In the last case, an author would write
 * $$\mathrm{PQ}\,\!$$
 * instead of our
 * $$\mathrm{P} \land \mathrm{Q}\ .\,\!$$

$$\mbox{Disjunction:}\ \lor\,\!$$
 * Translates to English as 'or'.
 * $$\mathrm{P} \lor \mathrm{Q}\,\!$$ is called a disjunction and $$\mathrm{P}\,\!$$ and $$\mathrm{Q}\,\!$$ are its disjuncts.
 * $$\mathrm{P} \lor \mathrm{Q}\,\!$$ is true if at least one of $$\mathrm{P}\,\!$$ and $$\mathrm{Q}\,\!$$ are true&mdash;is false otherwise.
 * Some authors may use a vertical stroke: |. However, this comes from computer languages rather than logicians' usage.  Logicians normally reserve the vertical stroke for nand (alternative denial).  When used as nand, it is called the Sheffer stroke.

$$\mbox{Negation:}\ \lnot\,\!$$
 * Translates to English as 'it is not the case that' but is normally read 'not'.
 * $$\lnot \mathrm{P}\,\!$$ is called a negation.
 * $$\lnot \mathrm{P}\,\!$$ is true if $$\mathrm{P}\,\!$$ is false&mdash;and is false otherwise.
 * Some authors use ~ (tilde) or &minus;. Some authors use an overline, for example writing
 * $$\bar{\mathrm{P}}\ \ \mbox{and}\ \ (\overline{(\mathrm{P} \land \mathrm{Q})} \lor \mathrm{R})\,\!$$
 * instead of
 * $$\lnot \mathrm{P}\ \ \mbox{and}\ \ (\lnot(\mathrm{P} \land \mathrm{Q}) \lor \mathrm{R})\ .\,\!$$

$$\mbox{Conditional:}\ \rightarrow\,\!$$
 * Translates to English as 'if...then' but is often read 'arrow'.
 * $$\mathrm{P} \rightarrow \mathrm{Q}\,\!$$ is called a conditional. Its antecedent is $$\mathrm{P}\,\!$$ and its consequent is $$\mathrm{Q}\,\!$$.
 * $$\mathrm{P} \rightarrow \mathrm{Q}\,\!$$ is false if $$\mathrm{P}\,\!$$ is true and $$\mathrm{Q}\,\!$$ is false&mdash;and true otherwise.
 * By that definition, $$\mathrm{P} \rightarrow \mathrm{Q}\,\!$$ is equivalent to $$(\lnot \mathrm{P}) \lor \mathrm{Q}\,\!$$
 * Some authors use &sup; (hook).

$$\mbox{Biconditional:}\ \leftrightarrow\,\!$$
 * Translates to English as 'if and only if'
 * $$\mathrm{P} \leftrightarrow \mathrm{Q}\,\!$$ is called a biconditional.
 * $$\mathrm{P} \leftrightarrow \mathrm{Q}\,\!$$ is true if $$\mathrm{P}\,\!$$ and $$\mathrm{Q}\,\!$$ both are true or both are false&mdash;and false otherwise.
 * By that definition, $$\mathrm{P} \leftrightarrow \mathrm{Q}\,\!$$ is equivalent to the more verbose $$(\mathrm{P} \land \mathrm{Q}) \lor ((\lnot \mathrm{P}) \land (\lnot \mathrm{Q}))\,\!$$. It is also equivalent to $$(\mathrm{P} \rightarrow \mathrm{Q}) \land (\mathrm{Q} \rightarrow \mathrm{P})\,\!$$, the conjunction of two conditionals where in the second conditional the antecedent and consequent are reversed from the first.
 * Some authors use &equiv;.

Grouping
Parentheses $$(\,\!$$ and $$)\,\!$$ are used for grouping. Thus


 * $$((\mathrm{P} \land \mathrm{Q} ) \rightarrow \mathrm{R})\,\!$$
 * $$(\mathrm{P} \land (\mathrm{Q} \rightarrow \mathrm{R}))\,\!$$

are two different and distinct sentences. Each negation, conjunction, disjunction, conditional, and biconditionals gets a single pair or parentheses.

Translation
Consider the following English sentences:


 * If it is raining and Jones is out walking, then Jones has an umbrella.
 * If it is Tuesday or it is Wednesday, then Jones is out walking.

To render these in $$\mathcal{L_S}\,\!$$, we first specify an appropriate English translation for some sentence letters.
 * $$\mathrm{P}\ :\,\!$$ It is raining.
 * $$\mathrm{Q}\ :\,\!$$ Jones is out walking.
 * $$\mathrm{R}\ :\,\!$$ Jones has an umbrella.
 * $$\mathrm{S}\ :\,\!$$ It is Tuesday.
 * $$\mathrm{T}\ :\,\!$$ It is Wednesday.

We can now partially translate our examples as:
 * $$\mbox{If}\ \mathrm{P}\ \mbox{and}\ \mathrm{Q},\ \mbox{then}\ \mathrm{R}\,\!$$
 * $$\mbox{If}\ \mathrm{S}\ \mbox{or}\ \mathrm{T},\ \mbox{then}\ \mathrm{Q}\,\!$$

Then finish the translation by adding the sentential connectives and parentheses:
 * $$((\mathrm{P} \land \mathrm{Q}) \rightarrow \mathrm{R})\,\!$$
 * $$((\mathrm{S} \lor \mathrm{T}) \rightarrow \mathrm{Q})\,\!$$

Quoting convention
For English expressions, we follow the logical tradition of using single quotes. This allows us to use ' 'It is raining' ' as a quotation of 'It is raining'.

For expressions in $$\mathcal{L_S}\,\!$$, it is easier to treat them as self-quoting so that the quotation marks are implicit. Thus we say that the above example translates $$\mathrm{S} \rightarrow \mathrm{P}\,\!$$ (note the lack of quotes) as 'If it is Tuesday, then It is raining'.