Statements that are always true

We will return soon to describe one more function that takes truth values as inputs, but it may be easier to understand its importance after some introduction to the idea of mathematical functions that have the value true for all possible inputs, in other words for all things in the universe. These sorts of functions are mathematically true statements.

Mathematics is especially interested in statements that are true by mathematical reasoning – in other words theorems. If a mathematical statement has variables in it, the statement is a true one if it is true regardless of the values of the variables. To emphasize that is true for all possible values of the variables, these sorts of statements are sometimes described as universally true. We will sometimes refer to them as “true everywhere”.

Statements with “or”

As an example let’s consider the statement that every number is either less than 100 or greater than 10. We could state this as x < 100 | x > 10. In the picture for this statement all shaded areas represent cases where the statement is true.

This picture shows everything in the world (all numbers) in one or both of the groups, and shows that some numbers are in both groups.

A more conventional and more informative picture might show a number line and the values having both of the properties, like this:

The statement x < 100 | x > 10 is true regardless of the value of x. In mathematics, if the truth of a statement does not depend on the values of variables in it, it is considered simply a true or valid statement.

Statements with “and”

For a statement with “and” to be true, both of its parts must be true. In the statement’s picture, both statements must be true at every spot in the picutre. Here is a picture illustrating a statement A & B that is true, where A and B are both true statements.

Statements like “all A are B”

Let’s look at another typical kind of statement that has a logical meaning, such as “all birds have wings”. We might also express this as “if x is a bird then x has wings”. In our notation we can write (bird x) implies (wings x) or alternatively bird x => wings x.

The picture below illustrates a scenario where the statement is true. The area representing all things with wings contains the entire area that represents all birds. There are also areas of the picture to represent things with wings that are not birds, such as bats in the real world, and flying insects.

Any picture of this kind where one area encloses another (or occupies the same area) illustrates a true statement of this kind. But is there a system for shading pictures like this so they are completely shaded exactly when the statement is true? It turns out there is.

Let’s consider a picture where the statement is not always true, like this:

It is clear right away which part of the picture makes the statement not always true – the part of the “birds” circle outside the “wings” area.

Anything in the picture that is not a bird does not affect the truth of the statement. If something is not a bird, it does not affect whether this statement about birds is true. If every part of the picture is either in the “wings” circle or not in the “birds” circle, the statement is true.

Implication: “implies” ()

Returning to functions with truth values as inputs and outputs, we can see how to define one more key function. This function enables us to express statements like “all birds have wings” mathematically. It takes two truth values as inputs and produces true or false as its value. The previous example and pictures above apply here once again.

We call the function implies (alternatively ), and it enables us to make statements that say one thing implies another. Here are two picture as before, but with shading to show the areas where the expression (bird x) ⇒ (wings x) has true as its value. First one where it is true everywhere:

Its truth table being:

true false
bird true

In this scenario all birds do indeed have wings so the function is behaving as intended. And now a picture where the statement is not true everywhere:

The birds without wings are represented by the small white area with no shading. This is exactly the area where the value of the implies function is false. In this picture not all birds have wings, so the function is indeed behaving as intended.

Vacuous statements

Special situations can lead classical logic to peculiar conclusions. Can all birds larger than elephants fly to the moon? In ordinary life most of us would not say something like this because we know there are no birds larger than elephants. But nothing in our logic prohibits such a statement, and if there are no birds larger than elephants in our world, our logic takes this to be a true statement.

How can this be? Consider that there are no examples that break the rule, no birds that are larger than elephants but cannot fly to the moon! The truth table entries in the row where the first input is false both have the value true, so the implies function has the value true everywhere. If the there are no birds larger than elephants, all of them can fly to the moon!

Mathematicians recognize that this is a strange situation and refer to such as statements as vacuously true, meaning true but useless because their conditions never apply. In standard logic things that do not exist can have any property, even contradictory properties. Taking our example a couple of steps further, all birds larger than elephants are blue, and all birds larger than elephants are also green. This is possible only because these statements are vacuous.

Combining logical functions

The logical functions can be combined into complex expressions. In the lunch example, where D is an abbreviation for “delicious” and E is an abbreviation for “easy”, the expression (not ((D x) & (E x))) refers to things that are not easy and delicious.

The value of this function at each point depends on the values of (D x) and (E x) at the same point, and its truth table can be computed by first looking up the value in the truth table for and, then looking up the value of the result in the table for not.

(E x)
true false
(D x) true

The expression (not (D x) & not (E x)) refers to things that are neither delicious nor easy; unfortunate for the eater, but fortunate for things that do not wish to be eaten.

Once again we can build each entry in this truth table by looking up the values of the subexpressions, first negating each input, then looking up the results in the table for and. Logical expressions combine the same way arithmetic expressions do, but the calculation is even easier because you only have to look up the results of each part in a table.

(E x)
true false
(D x) true


Some statements are not just true everywhere, they are true everywhere in every possible picture. Consider the statement (blue x) | (not (blue x)), “either x is blue or x is not blue”. It does not matter how many things are blue, or which things are blue. It doesn’t even matter if any things at all are blue. If we make a picture with one area for blue things and the rest for things that are not blue, every part of the picture will be in one of these two parts, either inside the “blue” area or not inside it.

This is an application of a tautology. Tautologies are true regardless of the truth of their parts. Statements of this sort occur constantly in normal mathematical reasoning, sometimes explicitly and even more often implicitly behind the scenes.

If a statement is a tautology, this can be verified just by building its truth table. If all of the entries are true, it is a tautology. The statement (blue x) | (not (blue x)) is indeed a tautology, and its truth table has the value true everywhere. Although the expression is complex this table has only two entries because it has only one variable, which is either true or false.

(blue x) true

The inputs to some of the truth tables are labeled with expressions such as (D x), (E x), or (blue x). It doesn’t matter whether an input is given by a variable or some expression. All that matters is that different expressions are handled as different inputs. If an expression (such as (blue x)) appears more than once in the full expression (such as (blue x) | (not (blue x)), all of its occurrences will have the same value when given the same value for x.

Tautologies properly are expressions with just variables and logical functions in them. More complex instances of a tautology can be constructed from it by substitution.