



Study with the several resources on Docsity
Earn points by helping other students or get them with a premium plan
Prepare for your exams
Study with the several resources on Docsity
Earn points to download
Earn points by helping other students or get them with a premium plan
Community
Ask the community for help and clear up your study doubts
Discover the best universities in your country according to Docsity users
Free resources
Download our free guides on studying techniques, anxiety management strategies, and thesis advice from Docsity tutors
This is a proposition. The statement has a truth value: in particular, if you are enrolled in this class, it is true, and if you are not, it is false.
Typology: Study notes
1 / 7
This page cannot be seen from the preview
Don't miss anything!
The fundamentals of proofs are based in an understanding of logic. In order to consider and prove mathematical statements, we first turn our attention to understanding the structure of these statements, how to manipulate them, and how to know if they are true.
First, of course, we need a formal understanding of what the word “statement” means.
Definition 1. A proposition is a statement to which it is possible to assign a value of either true or false.
Example 1. Consider the statement
Mary Radcliffe is my 21-127 Professor.
This is a proposition. The statement has a truth value: in particular, if you are enrolled in this class, it is true, and if you are not, it is false. In any case, provided that we know who the “me” is that has issued the statement, we can assign it a truth value.
Example 2. Consider the statement
Mary Radcliffe has two children.
This is also a proposition. The statement has a truth value, it is either true or false. You may not know which truth value to assign to it, but that isn’t relevant: it has a truth value nonetheless.
The above two examples are demonstrative, but they don’t seem very mathematical. Of course, we can easily correct that: here are some mathematical propositions:
These are both propositions, since each of them has a truth value. One happens to be a true proposition, the second one false. But how about this one:
x is an even number.
Is this a proposition? It’s hard to say. Out of context, with no understanding of the variable x, we cannot assign this statement a truth value, so by itself, it doesn’t seem to qualify. If, however, it existed in a context where x had meaning, it could be a proposition. I give this example to stress, especially, the importance of definitions in mathematics. You may have noticed in your other math classes, and you will definitely notice here, that mathematicians are a bit obsessed with precision in defining terms. This is no accident: without precise definitions, we end up with the kind of unverifiable statements like the one above. Definitions are critical to writing mathematical proofs.
In order to manipulate propositions, we will first introduce some means of performing arithmetic with them. In order to do so, we will represent propositions with variables such as p, q, r. We can then build an arithmetic structure to understand how to combine and relate propositions to each other.
Our first logical operator is conjunction, a fancy way to say “and.”
Definition 2. Let p and q be propositions. The conjunction of p and q, denoted by p ∧ q is a proposition that is true when both p and q are true, and false in any other condition.
This sounds a bit complicated, so let’s disentangle this with a nonmathematical example.
Example 3. Consider the proposition
John is an engineer and a runner.
In order for this proposition to be true, two things need to BOTH be true. Namely, we need that John is an engineer AND that John is a runner. If we take p to be the proposition “John is an engineer” and take q to be the proposition “John is a runner,” then the above proposition can be represented as p ∧ q. Clearly, it is true only when both p and q are true; if either of them is false than p ∧ q is certainly false as well.
Notice that the truth value of p ∧ q is entirely dependent upon the truth values of p and q. Moreover, each of p and q can only take the truth value of True or False, by definition. Hence, in general, we can look at the truth value of p ∧ q in a general case by examining the various possibilities for p and q, individually. We can do such a thing by considering what is known as a “truth table:” a table where we enumerate all possible truth values for p and q.
p q p ∧ q T T T T F F F T F F F F
On the left of this table, we see the two propositions p and q that make up the conjunction p ∧ q, and all their possible truth values. To the right, we see p ∧ q, whose truth value is entirely determined based upon the values assigned to p and q, and only can be true in the case that both p and q are true.
The second logical operator is disjunction, a fancy way to say “or.”
Definition 3. Let p and q be propositions. The disjunction of p and q, denoted by p ∨ q, is a proposition that is true when at least one of p or q is true, and false if both p and q are false.
Notice that this is not usually how we use the word “or” in English language. Often, when we say “or” we mean it to be exclusive. That is to say, if your friend asks “Should we get Mexican or Thai for dinner?” the response of “Both” is not usually available. Your friend’s question uses an exclusive or: one thing, or the other, but not both. This is formalized as follows:
Definition 4. Let p and q be propositions. The exclusive disjunction of p and q, denoted by p ∨˙ q or p ⊕ q, is a proposition that is true when exactly one of p or q is true, and false in any other condition.
Nice, now we can simply replace the words “and” and “or” with our symbolic representations ∧ and ∨, and we should be on our way! We can now rewrite the proposition as
(p ∧ r) ∨ (q ∧ r)
Nice, so by combining the logical operators we have developed, we can represent much more complex propositions. These combinations are called propositional formulae.
Definition 6. A propositional formula is a proposition constructed using propositional variables and logical operators.
A quick note: as with arithmetic formulae, we should be attentive to the order of operations here. That is to say, we used some parentheses in our example above; were they necessary? Certainly the original meaning of the proposition intended to group “positive and odd” into one group, and “negative and odd” into a second group. In most technical cases, we take the following order of precedence for operations:
Under these rules, we could have written our above proposition with no parentheses at all, since it is presumed that ∧ takes precedence over ∨.
But let’s not be too hasty. I said above in most technical cases, but there are some writings that take ∧ and ∨ to have equal precedence (like addition and subtraction in arithmetic). In that case, the meaning of our proposition would have been lost without parentheses. In general, I would recommend parenthesizing liberally here, so as not to confuse the reader as to which operations take priority in a given propositional formula.
Now, let us return to the proposition that we developed in Example 4, namely (p ∧ r) ∨ (q ∧ r). We can consider the possible truth values for this proposition using a truth table, as follows:
p q r p ∧ r q ∧ r (p ∧ r) ∨ (q ∧ r) T T T T T T T T F F F F T F T T F T T F F F F F F T T F T T F T F F F F F F T F F F F F F F F F
Notice that we have 3 columns to the left in the truth table, enumerating the various possibilities for the propositional variables p, q, and r. To the right, the column we care about is the last. We include the intermediary columns p ∧ r and q ∧ r simply to help us do the calculation; these columns are not necessary at all, and the truth table would be equally correct without them.
Now, thinking carefully about this proposition, notice that in both cases p ∧ r and q ∧ r, we require proposition r to be true for the conjunction to be true. This seems to suggest an alternative way to write our proposition: we need r, and at least one of p or q, so perhaps it is equivalent to write the proposition as r ∧ (p ∨ q). But in order to determine whether this is truly the same, we need to know what it means for two propositions to be the same.
Definition 7. Two propositional formulae are called “logically equivalent” if the two propositions give the same truth value, regardless of the truth values of the propositional variables from which they are constructed.
That is to say, the two propositions are logically equivalent (fancy math language for “the same thing”) provided that no matter how we assign T/F to the variables p, q, r, we would expect to get the same truth value out from the propositional formulae. A really simplistic way of putting it: every row of the truth table for the two formulae should be the same. Since each row corresponds to a way to assign truth values to p, q, r, the two propositions are equivalent if they yield the same truth values on every row in the truth table. Examining this carefully for the example given, we find
p q r p ∧ r q ∧ r (p ∧ r) ∨ (q ∧ r) p ∨ q r ∧ (p ∨ q) T T T T T T T T T T F F F F T F T F T T F T T T T F F F F F T F F T T F T T T T F T F F F F T F F F T F F F F F F F F F F F F F
Notice that the two hilighted columns have the same truth values, and hence, as expected, the two logical formulae (p ∧ r) ∨ (q ∧ r) and r ∧ (p ∨ q) are logically equivalent. We use the notation ≡ to denote logical equivalence, so we can write (p ∧ r) ∨ (q ∧ r) ≡ r ∧ (p ∨ q).
We begin this section with a perhaps obvious theorem.
Theorem 1 (Law of Excluded Middle). Let p be a proposition. Regardless of the truth value of p, p ∨ (¬p) is always true.
Proof. To prove this theorem, we consider the following truth table:
p ¬p p ∨ (¬p) T F T F T T
Notice that regardless of the truth value of p, we have that p ∨ (¬p) is always true.
Logically, this theorem makes perfect sense. For any statement, either the statement is true, or the statement is not true. There is no in between. This is an example of a tautology:
Definition 8. A propositional formula is called a tautology if the formula is true, regardless of the truth values of the propositional variables from which it is constructed. Such a formula may be referred to as “tautologically true.”
In general, then, it is very useful to be able to negate a proposition. Since we know that a proposition or its negation must be true, understanding how to negate will give us tools to write proofs (more on this later). Hence, it would be convenient to understand how negation interacts with conjunction and disjunction. This is precisely the content of De Morgan’s Laws for propositional formulae.
Theorem 2 (De Morgan’s Laws). Let p, q be propositional variables. Then
Example 6. Let x be a positive integer. Consider the following proposition about x:
If x is an odd prime, then x ≥ 3.
We can write this using propositional variables: define p to be the proposition “x is an odd prime,” and define q to be the proposition “x ≥ 3.” The proposition here states p ⇒ q. It is clear that this proposition is true: anytime p is true, obviously q is also true. However, suppose we know that p is false. What does that tell us? Well, it tells us that x is not an odd prime. This gives us no information about whether or not x ≥ 3: x could be, for example, 2 or 4 (or lots of other numbers). Hence, if p is false, the conditional statement p ⇒ q does not help us understand information about q. The statement only gives us information about q in the circumstance that p is true.
Perhaps this seems obvious to you now, but it is a common mistake in introductory proofs classes like this one for people to confuse what they know in a conditional proposition like this one, and to assume that if p is false, then q must also be false. As in the above example, that simply is not correct.
Definition 10. Let p and q be propositions. The proposition p ⇔ q is true if p and q always have the same truth value. The operator ⇔ is called the biconditional operator, or bi-implicative operator.
We read or speak the biconditional proposition p ⇔ q as “p if and only if q” or “p is equivalent to q.”
Formally speaking, the biconditional operator is not fundamentally different from logical equivalence; that is, p ⇔ q is true is the same thing as saying p ≡ q is true. Indeed, some people use the symbol ⇔ in place of the symbol ≡ when determining if propositional formulae are logically equivalent. In the context of propositions requiring proof, however, it is common to use ⇔ in place of ≡, and to think of the biconditional statement as (p ⇒ q) ∧ (q ⇒ p). The proof that p ⇔ q is logically equivalent to (p ⇒ q) ∧ (q ⇒ p) is left as an exercise.