Chapter 9 Characteristic truth tables
Any sentence of TFL is composed of sentence letters, possibly combined using sentential connectives. The truth value of the compound sentence depends only on the truth value of the sentence letters that comprise it. In order to know the truth value of ‘’, for instance, you only need to know the truth value of ‘’ and the truth value of ‘’.
We introduced five connectives in chapter 5. So we just need to explain how they map between truth values. For convenience, we abbreviate ‘True’ with ‘T’ and ‘False’ with ‘F’. (But, to be clear, the two truth values are True and False; the truth values are not letters!)
For any sentence : If is true, then is false; and if is true, then is false. We can summarize this in the characteristic truth table for negation:
For any sentences and , is true if and only if both and are true. We can summarize this in the characteristic truth table for conjunction:
Note that the truth value for is always the same as the truth value for . Connectives that have this property are called commutative.
Recall that ‘’ always represents inclusive or. So, for any sentences and , is true if and only if either or is true. We can summarize this in the characteristic truth table for disjunction:
Like conjunction, disjunction is commutative.
We’re just going to come clean and admit it: Conditionals are a mess in TFL. Exactly how much of a mess they are is philosophically contentious. We’ll discuss a few of the subtleties in sections 10.3 and 13. For now, we are going to stipulate the following: is false if and only if is true and is false. We can summarize this with a characteristic truth table for the conditional.
The conditional is not commutative. You cannot swap the antecedent and consequent without changing the meaning of the sentence; and have different truth tables.
Since a biconditional is to be the same as the conjunction of the conditionals running in both directions, we will want the truth table for the biconditional to be:
Unsurprisingly, the biconditional is commutative.