In this section, we present an overview of what a mathematical system is and how logic plays an important role in one. The axiomatic method that we will use here will not be duplicated with as much formality anywhere else in the book, but we hope an emphasis on how mathematical facts are developed and organized will help to unify the concepts we will present. The system of propositions and logical operators we have developed will serve as a model for our discussion. Roughly, a mathematical system can be defined as follows.

##### Definition3.5.1Mathematical System

A mathematical system consists of:

1. A set or universe, $U\text{.}$

2. Definitions: sentences that explain the meaning of concepts that relate to the universe. Any term used in describing the universe itself is said to be undefined. All definitions are given in terms of these undefined concepts of objects.

3. Axioms: assertions about the properties of the universe and rules for creating and justifying more assertions. These rules always include the system of logic that we have developed to this point.

4. Theorems: the additional assertions mentioned above.

##### Example3.5.2Euclidean Geometry

In Euclidean geometry the universe consists of points and lines (two undefined terms). Among the definitions is a definition of parallel lines and among the axioms is the axiom that two distinct parallel lines never meet.

##### Example3.5.3Propositional Calculus

Propositional calculus is a formal name for the logical system that we've been discussing. The universe consists of propositions. The axioms are the truth tables for the logical operators and the key definitions are those of equivalence and implication. We use propositions to describe any other mathematical system; therefore, this is the minimum amount of structure that a mathematical system can have.

##### Definition3.5.4Theorem

A true proposition derived from the axioms of a mathematical system is called a theorem.

Theorems are normally expressed in terms of a finite number of propositions, $p_1, p_2, . . . ,p_n$ , called the premises, and a proposition,$C\text{,}$ called the conclusion. These theorems take the form \begin{equation*} p_1\land p_2\land \cdots \land p_n\Rightarrow C \end{equation*} or more informally, \begin{equation*} p_1, p_2, . . . , \textrm{ and } p_n \textrm{ imply } C \end{equation*} For a theorem of this type, we say that the premises imply the conclusion. When a theorem is stated, it is assumed that the axioms of the system are true. In addition, any previously proven theorem can be considered an extension of the axioms and can be used in demonstrating that the new theorem is true. When the proof is complete, the new theorem can be used to prove subsequent theorems. A mathematical system can be visualized as an inverted pyramid with the axioms at the base and the theorems expanding out in various directions.

##### Definition3.5.6Proof

A proof of a theorem is a finite sequence of logically valid steps that demonstrate that the premises of a theorem imply its conclusion.

Exactly what constitutes a proof is not always clear. For example, a research mathematician might require only a few steps to prove a theorem to a colleague, but might take an hour to give an effective proof to a class of students. Therefore, what constitutes a proof often depends on the audience. But the audience is not the only factor. One of the most famous theorems in graph theory, The Four-Color Theorem, was proven in 1976, after over a century of effort by many mathematicians. Part of the proof consisted of having a computer check many different graphs for a certain property. Without the aid of the computer, this checking would have taken years. In the eyes of some mathematicians, this proof was considered questionable. Shorter proofs have been developed since 1976 and there is no controversy associated with The Four Color Theorem at this time.

Theoretically, you can prove anything in propositional calculus with truth tables. In fact, the laws of logic stated in Section 3.4 are all theorems. Propositional calculus is one of the few mathematical systems for which any valid sentence can be determined true or false by mechanical means. A program to write truth tables is not too difficult to write; however, what can be done theoretically is not always practical. For example, \begin{equation*} a, a\to b, b\to c, . . . ,y\to z\Rightarrow z \end{equation*} is a theorem in propositional calculus. However, suppose that you wrote such a program and you had it write the truth table for \begin{equation*} (a\land (a\to b)\land ( b\to c)\land \cdots \land (y\to z))\to z \end{equation*} The truth table will have $2^{26}$ cases. At one million cases per second, it would take approximately one hour to verify the theorem. Now if you decided to check a similar theorem, \begin{equation*} p_1,p_1\to p_2,\ldots ,p_{99}\to p_{100}\Rightarrow p_{100} \end{equation*} you would really have time trouble. There would be $2^{100} \approx 1.26765\times 10^{30}$ cases to check in the truth table. At one million cases per second it would take approximately $1.46719\times 10^{19}$ days to check all cases. For most of the remainder of this section, we will discuss an alternate method for proving theorems in propositional calculus. It is the same method that we will use in a less formal way for proofs in other systems. Formal axiomatic methods would be too unwieldy to actually use in later sections. However, none of the theorems in later chapters would be stated if they couldn't be proven by the axiomatic method.

We will introduce two types of proof here, direct and indirect.

##### Example3.5.7A typical direct proof

This is a theorem: $p \rightarrow r, q\rightarrow s,p\lor q\Rightarrow s\lor r$. A direct proof of this theorem is:

Note that $\square$ marks the end of a proof.

Example 3.5.7 illustrates the usual method of formal proof in a formal mathematical system. The rules governing these proofs are:

1. A proof must end in a finite number of steps.

2. Each step must be either a premise or a proposition that is implied from previous steps using any valid equivalence or implication.

3. For a direct proof, the last step must be the conclusion of the theorem. For an indirect proof (see below), the last step must be a contradiction.

4. Justification Column. The column labeled “justification” is analogous to the comments that appear in most good computer programs. They simply make the proof more readable.

##### Example3.5.9Two proofs of the same theorem

Here are two direct proofs of $\neg p \lor q, s\lor p, \neg q \Rightarrow s$:

You are invited to justify the steps in this second proof:

The conclusion of a theorem is often a conditional proposition. The condition of the conclusion can be included as a premise in the proof of the theorem. The object of the proof is then to prove the consequence of the conclusion. This rule is justified by the logical law \begin{equation*} p \rightarrow (h \rightarrow c) \Leftrightarrow (p \land h) \rightarrow c \end{equation*}

##### Example3.5.12Example of a proof with a conditional conclusion

The following proof of $p \to (q \rightarrow s), \neg r \lor p, q \Rightarrow r \rightarrow s$ includes $r$ as a fourth premise. Inference of truth of $s$ completes the proof.

Consider a theorem $P\Rightarrow C$, where $P$ represents $p_1, p_2, . . . , \textrm{ and } p_n$, the premises. The method of indirect proof is based on the equivalence $P\rightarrow C\Leftrightarrow \neg (P\land \neg C)$. In words, this logical law states that if $P \Rightarrow C$, then $P \land \neg C$ is always false; that is, $P \land \neg C$ is a contradiction. This means that a valid method of proof is to negate the conclusion of a theorem and add this negation to the premises. If a contradiction can be implied from this set of propositions, the proof is complete. For the proofs in this section, a contradiction will often take the form $t \land \neg t$.

For proofs involving numbers, a contradiction might be $1 = 0$ or $0 < 0$. Indirect proofs involving sets might conclude with $x \in \emptyset$ or ($x \in A$ and $x \in A^c$). Indirect proofs are often more convenient than direct proofs in certain situations. Indirect proofs are often called proofs by contradiction.

##### Example3.5.14An Indirect Proof

Here is an example of an indirect proof of the theorem in Example 3.5.7.

##### Note3.5.16Proof Style

The rules allow you to list the premises of a theorem immediately; however, a proof is much easier to follow if the premises are only listed when they are needed.

##### Example3.5.17Yet Another Indirect Proof

Here is an indirect proof of $a \rightarrow b, \neg (b \lor c ) \Rightarrow \neg a$.

As we mentioned at the outset of this section, we are only presenting an overview of what a mathematical system is. For greater detail on axiomatic theories, see Stoll (1961). An excellent description of how propositional calculus plays a part in artificial intelligence is contained in Hofstadter (1980). If you enjoy the challenge of constructing proofs in propositional calculus, you should enjoy the game WFF'N PROOF (1962), by L.E. Allen.

# Subsection3.5.1Exercises for Section 3.5¶ permalink

##### 1

Prove with truth tables:

1. $p\lor q, \neg q\Rightarrow p$

2. $p \rightarrow q, \neg q \Rightarrow \neg p$

##### 2

Prove with truth tables:

1. $q, \neg q\Rightarrow p$

2. $p \rightarrow q \Rightarrow \neg p \lor q$

##### 3

Give direct and indirect proofs of:

1. $a \rightarrow b, c \rightarrow b, d\rightarrow (a \lor c), d\Rightarrow b$.

2. $(p\to q) \land (r\to s), (q\rightarrow t) \land (s \to u), \neg (t \land u), p \rightarrow r \Rightarrow \neg p$.

3. $p\to (q\to r),\neg s\text{\backslash /}p,q\Rightarrow s\to r$.

4. $p\rightarrow q, q\rightarrow r, \neg (p \land r), p \lor r \Rightarrow r$.

5. $\neg q, p\to q, p\lor t \Rightarrow t$

##### 4

Give direct and indirect proofs of:

1. $p\rightarrow q, \neg r\rightarrow \neg q, \neg r \Rightarrow \neg p$.

2. $p\rightarrow \neg q, \neg r\rightarrow q, p \Rightarrow r$.

3. $a \lor b, c \land d, a \rightarrow \neg c \Rightarrow b$.

##### 5

Are the following arguments valid? If they are valid, construct formal proofs; if they aren't valid, explain why not.

1. If wages increase, then there will be inflation. The cost of living will not increase if there is no inflation. Wages will increase. Therefore, the cost of living will increase.

2. If the races are fixed or the casinos are crooked, then the tourist trade will decline. If the tourist trade decreases, then the police will be happy. The police force is never happy. Therefore, the races are not fixed.

Describe how $p_1,p_1\to p_2,\ldots ,p_{99}\to p_{100}\Rightarrow p_{100}$ could be proved in 199 steps.