Skip main navigation

Introducing truth-tables

In this step we see how to construct a truth-table and use it to define the meaning and logical powers of a sentence connective.
An open notebook, showing a grid
© University of York

There’s a way around the problem we just noted. There’s a neat device which will allow us to capture the definition of the meaning and logical powers of ‘&’ without using ‘and’ — a device which will also turn out to be useful in a whole range of other ways. We can express our definition of the meaning and logical powers of ‘&’ using a truth-table.

Notice that our attempt to specify the meaning of ‘&’ is, in a clear sense, all about truth: what we’ve said about its meaning is a matter of the truth-conditions of sentences and sentential clauses which are built with it. What we’ve tried to do is specify how the truth or falsity of an ampersand sentence is fixed by the truth-values of the plugged-in sentences. We can do this cleanly and successfully by using a table in the following way.

Ampersand is a two-place connective: we need to plug two sentences into it to make a new sentence. Now, think about the different ways that things might be with the truth-values of two sentences.

If we have just one sentence — say ‘P’ — then it will be either true or false. (Here, as elsewhere, we’ll use upper case roman letters as stand-ins for or abbreviations of particular sentences.) But now suppose we take another sentence — ‘Q’. In cases where ‘P’ is true, situations will divide up into two types: situations in which ‘Q’ is also true, and situations in which ‘Q’ is false. We can express this in a table like this:

P Q  
T T  
T F  

Each row on the table corresponds to a kind of situation. The first row corresponds to situations like this: ‘P’, true; ‘Q’, true. The second row to situations like this: ‘P’, true; ‘Q’, false.

But, of course, we also need to allow for situations in which ‘P’ is false. And these are also going to divide into situations in which ‘Q’ is true, and situations in which ‘Q’ is false. That gives us this:

P Q  
T T  
T F  
F T  
F F  

Notice that this gives us all the ways things could be with the truth-values of our two sentences: ‘P’, ‘Q’. Any situation is going to fall into one of these four kinds.

The next step shows how we can use a table like this to state the meaning of a connective like ampersand. (Note: The video which opens the step uses the term ‘basic sentence’. A basic sentence is a sentence which is taken not to be structured in terms of sentential clauses and sentence connectives.)

© University of York
This article is from the free online

Logic: The Language of Truth

Created by
FutureLearn - Learning For Life

Our purpose is to transform access to education.

We offer a diverse selection of courses from leading universities and cultural institutions from around the world. These are delivered one step at a time, and are accessible on mobile, tablet and desktop, so you can fit learning around your life.

We believe learning should be an enjoyable, social experience, so our courses offer the opportunity to discuss what you’re learning with others as you go, helping you make fresh discoveries and form new ideas.
You can unlock new opportunities with unlimited access to hundreds of online short courses for a year by subscribing to our Unlimited package. Build your knowledge with top universities and organisations.

Learn more about how FutureLearn is transforming access to education