Jump to content

Formal Logic/Sentential Logic/Truth Tables

From Wikibooks, open books for an open world
← Formal Semantics ↑ Sentential Logic Validity →



Truth Tables

[edit | edit source]

In the Formal Syntax, we earlier gave a formal semantics for sentential logic. A truth table is a device for using this form syntax in calculating the truth value of a larger formula given an interpretation (an assignment of truth values to sentence letters). Truth tables may also help clarify the material from the Formal Syntax.

Basic tables

[edit | edit source]

Negation

[edit | edit source]

We begin with the truth table for negation. It corresponds to clause (ii) of our definition for extended valuations.

 
T F
F T

T and F represent True and False respectively. Each row represents an interpretation. The first column shows what truth value the interpretation assigns to the sentence letter . In the first row, the interpretation assigns the value True. In the second row, the interpretation assigns the value False.

The second column shows the value receives under a given row's interpretation. Under the interpretation of the first row, has the value False. Under the interpretation of the second row, has the value True.

We can put this more formally. The first row of the truth table above shows that when = True, = False. The second row shows that when = False, = True. We can also put things more simply: a negation has the opposite truth value than that which is negated.

Conjunction

[edit | edit source]

The truth table for conjunction corresponds to clause (iii) of our definition for extended valuations.

 
T T T
T F F
F T F
F F F

Here we have two sentence letters and so four possible interpretations, each represented by a single row. The first two columns show what the four interpretations assign to and . The interpretation represented by the first row assigns both sentence letters the value True, and so on. The last column shows the value assigned to . You can see that the conjunction is true when both conjuncts are true—and the conjunction is false otherwise, namely when at least one conjunct is false.

Disjunction

[edit | edit source]

The truth table for disjunction corresponds to clause (iv) of our definition for extended valuations.

 
T T T
T F T
F T T
F F F

Here we see that a disjunction is true when at least one of the disjuncts is true—and the disjunction is false otherwise, namely when both disjuncts are false.

Conditional

[edit | edit source]

The truth table for conditional corresponds to clause (v) of our definition for extended valuations.

 
T T T
T F F
F T T
F F T

A conditional is true when either its antecedent is false or its consequent is true (or both). It is false otherwise, namely when the antecedent is true and the consequent is false.

Biconditional

[edit | edit source]

The truth table for biconditional corresponds to clause (vi) of our definition for extended valuations.

 
T T T
T F F
F T F
F F T

A biconditional is true when both parts have the same truth value. It is false when the two parts have opposite truth values.

Example

[edit | edit source]

We will use the same example sentence from Formal Semantics:

We construct its truth table as follows:

 
T T T T T F F
T T F T T F F
T F T F T F T
T F F F F T T
F T T F T F T
F T F F T F T
F F T F T F T
F F F F F T T

With three sentence letters, we need eight valuations (and so lines of the truth table) to cover all cases. The table builds the example sentence in parts. The column was based on the and columns. The column was based on the and columns. This in turn was the basis for its negation in the next column. Finally, the last column was based on the and columns.

We see from this truth table that the example sentence is false when both and are true, and it is true otherwise.

This table can be written in a more compressed format as follows.

 
 
 
 
 
 
 
 
 
 
 
 
 
(1)
 
 
 
 
 
(4)
 
 
(3)
 
 
 
 
 
(2)
 
 
 
 
 
T T T   T   F F   T  
T T F   T   F F   T  
T F T   F   T F   T  
T F F   F   T T   F  
F T T   F   T F   T  
F T F   F   T F   T  
F F T   F   T F   T  
F F F   F   T T   F  

The numbers above the connectives are not part of the truth table but rather show what order the columns were filled in.


← Formal Semantics ↑ Sentential Logic Validity →