Produced by Charles Wells Revised 2015-12-03 Introduction to this website website TOC website index blog
This chapter covers:
A logical construction is a way of making a compound assertion whose truth depends only on the truth value of the assertion(s) it is constructed from. In discussing logical assertions, I use letters such as "$P$" and "$Q$" to stand for an assertion, which may be stated in math English or in the symbolic language.
You can determine the truth of these two compound assertions provided you know the truth of $P$ and of $Q$. You don’t need to know anything else about $P$ and $Q$ except their truth values to determine the meaning of “$P$ and $Q$” and “$P$ or $Q$.”
|$P$||$Q$||$P$ and $Q$|
|$P$||$Q$||$P$ or $Q$|
The truth values for a logical construction are given unambiguously by truth tables, one for each connective such as “and” and “or”. For example, from the tables shown here you can see immediately that if $P$ is true and $Q$ is false, then “$P$ and $Q$” is false but “$P$ or $Q$” is true.
The truth value of a logical construction involving assertions P and Q is determined ENTIRELY by the truth table for the connective and the truth values of P and Q.
The truth tables completely control the meaning. The meaning and connotation of the English words describing the connectives (“and” and “or” in the example above) do not affect the truth of the construction. They usually suggest the truth but can be misleading. This is one aspect of the translation problem.
The important logical constructions used in mathematical proofs are covered in these chapters:
If you know that the assertion “$P$ and $Q$” is true, then you know just from the form of the assertion that $P$ is true. For example, the assertion “$7$ is odd and $7$ is prime” is true, so you can deduce that the assertion “$7$ is odd” is true. This is an example of a method of deduction. Many methods of deduction, but not all, are as trivial and as obvious as this one.
Each part of the discussion of math reasoning on this website describes a type of logical construction and gives the methods of deduction appropriate for that type of logical construction.
Every proof step must deduce an assertion from previously proved assertions
using a valid method of deduction.
Methods of deduction are not usually mentioned in proofs. They are used silently.
The chapters Presentation of proofs and Forms of proof describe how proofs are written and some of the problems people new to math have in reading proofs.
The translation problem is the task of extracting the mathematical and logical structure hidden in mathematical prose. You have to learn to read and understand math prose; it does not come automatically.
Besides the links given above, the translation problem is discussed for particular constructions under and, or and not, universal assertions and conditional assertions.
Mathematical logic, especially proof theory, is a branch of mathematics that uses mathematical structures to model mathematical statements and proofs. Doing this requires:
Essentially, proof theory turns theorems and proofs into mathematical objects.
Mathematical logic is quite technical but very powerful. It has put mathematical reasoning on a sound scientific basis. It makes logic a part of math. The description of proofs given on this website is informal and does not include all the technicalities necessary to make logic a part of math.
When logic is discussed in textbooks, symbols are used to name the various connectives. This is essential for the same reason that we use symbols such as "$+$" and "$\times$" in algebra. But there is no standardization for these symbols in logic, and for introductory purposes like this chapter I avoid using them because they introduce an extra burden that for the simple examples we use is not worth the effort of learning.
In mathematical logic, assertions, connectives, quantifiers and rules of deduction are typically represented using symbols, and the symbolic system developed this way is studied as a mathematical object.
Assertions may be represented by symbols such as $P$ and $Q$. For example, $P$ might stand for $3\gt 2$, a true statement, or $3\lt 2$, a false statement. Assertions containing a variable $x$ might be represented by expressions such as $P(x)$ and $Q(x).$ This is analogous to the way we refer to a function as $f(x)$.
Then compound expressions built up out of these may be represented in one of the ways below. Note that there is not much standardization of the symbols used to denote logical constructions. That is one reason I mostly don't use the symbols in abstractmath.org.
In my career, in courses I have taken or have taught, I have used every one of these symbols except the horseshoe ($P\supset Q$).
Other logical connectives are used by logicians and computing scientists, but are not covered here. All the forms of the quantifiers can also use typed variables ($x\in A$ or $x:A$), but enough is enough.
The symbols for logical connectives are not often seen in math research papers or books except when the books concern logic. Some mathematicians frequently use these symbols in lectures and others never do. Mathematicians differ sharply on using these symbols, taking one of two attitudes:
DON'T USE THEM Lectures or notes filled with logical symbols require the student to learn a new language (symbolic logic), and people, including many very good mathematicians, are not good at learning foreign languages. Aside from that, there are many symbols in use to denote the same logical connective.
USE THEM It is best to use the symbols, because we don’t then have to translate the mathematical English into the corresponding logical structures. This translation is difficult because in math writing the English words for the connectives have subtly (and occasionally blatantly) different meanings.
This work is licensed under a Creative Commons Attribution-ShareAlike 2.5 License.