Formal Logic/Sentential Logic/The Sentential Language

← Goals ↑ Sentential Logic Formal Syntax →

The Sentential Language edit

This page informally describes our sentential language which we name  . A more formal description will be given in Formal Syntax and Formal Semantics

Language components edit

Sentence letters edit

Sentences in   are represented as sentence letters, which are single letters such as   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,   may translate as 'The Earth is a planet' (which is true), or 'The moon is made of green cheese' (which is false). But   may not translate as 'Great ideas sleep furiously' because such a sentence is neither true nor false. Translations between English and   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 edit

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.


  • Translates to English as 'and'.
  •   is called a conjunction and   and   are its conjuncts.
  •   is true if both   and   are true—and is false otherwise.
  • Some authors use an & (ampersand), (heavy dot) or juxtaposition. In the last case, an author would write
instead of our


  • Translates to English as 'or'.
  •   is called a disjunction and   and   are its disjuncts.
  •   is true if at least one of   and   are true—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.


  • Translates to English as 'it is not the case that' but is normally read 'not'.
  •   is called a negation.
  •   is true if   is false—and is false otherwise.
  • Some authors use ~ (tilde) or . Some authors use an overline, for example writing
instead of


  • Translates to English as 'if...then' but is often read 'arrow'.
  •   is called a conditional. Its antecedent is   and its consequent is  .
  •   is false if   is true and   is false—and true otherwise.
  • By that definition,   is equivalent to  
  • Some authors use (hook).


  • Translates to English as 'if and only if'
  •   is called a biconditional.
  •   is true if   and   both are true or both are false—and false otherwise.
  • By that definition,   is equivalent to the more verbose  . It is also equivalent to  , the conjunction of two conditionals where in the second conditional the antecedent and consequent are reversed from the first.
  • Some authors use .

Grouping edit

Parentheses   and   are used for grouping. Thus


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

Notes edit

(1) An atomic sentence is a sentence consisting of just a single sentence letter. A molecular sentence is a sentence with at least one sentential connective. The main connective of a molecular formula is the connective that governs the entire sentence. Atomic sentences, of course, do not have a main connective.

(2) The and signs for conditional and biconditional are historically older, perhaps a bit more traditional, and definitely occur more commonly in WikiBooks and Wikipedia than our arrow and double arrow. They originate with Alfred North Whitehead and Bertrand Russell in Principia Mathematica. Our arrow and double arrow appear to originate with Alfred Tarski, and may be a bit more popular today than the Whitehead and Russell's and .

(3) Sometimes you will see people reading our arrow as implies. This is fairly common in WikiBooks and Wikipedia. However, most logicians prefer to reserve 'implies' for metalinguistic use. They will say:

If P then Q

or even

P arrow Q

They approve of:

'P' implies 'Q'

but will frown on:

P implies Q

Translation edit

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  , we first specify an appropriate English translation for some sentence letters.

  It is raining.
  Jones is out walking.
  Jones has an umbrella.
  It is Tuesday.
  It is Wednesday.

We can now partially translate our examples as:


Then finish the translation by adding the sentential connectives and parentheses:


Quoting convention edit

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  , it is easier to treat them as self-quoting so that the quotation marks are implicit. Thus we say that the above example translates   (note the lack of quotes) as 'If it is Tuesday, then It is raining'.

← Goals ↑ Sentential Logic Formal Syntax →