# Section 1. Statements and Truth Tables. Definition 1.1: A mathematical statement is a declarative sentence that is true or false, but not both.

Save this PDF as:

Size: px
Start display at page:

Download "Section 1. Statements and Truth Tables. Definition 1.1: A mathematical statement is a declarative sentence that is true or false, but not both."

## Transcription

1 M3210 Supplemental Notes: Basic Logic Concepts In this course we will examine statements about mathematical concepts and relationships between these concepts (definitions, theorems). We will also consider ways to determine whether certain statements are true or false (methods of proof). Our discussion uses everyday language that is often imprecise or ambiguous, yet the topics we plan to discuss are very precise and the methods of proof are based on the rules of logic. To avoid the problems that this disconnect between everyday language and mathematical discourse presents, we need to be specific about the terms we will use and what will be considered acceptable arguments. For this reason we will begin the course with a brief look at what is involved in mathematical discourse, its language and process of reasoning. 1.1 Simple Statements Section 1. Statements and Truth Tables According to the American College Dictionary, a statement is defined as; something stated; a declaration in speech or writing setting forth facts; an abstract of an account; act or manner of stating something. According to that definition, the following sentences are statements: The US calendar year begins in April. Oh, my goodness! Don t run. The house is ugly. In mathematics however the notion of a statement is more precise. Definition 1.1: A mathematical statement is a declarative sentence that is true or false, but not both. So, of the three sentences above, only the first one is a statement in the mathematical sense. Its truth value is false. Oh, my goodness! is an exclamation, Don t run. is a command and so neither of these sentences have truth value. In the last sentence, what is ugly may be a matter of disagreement so whether it is true or false is ambiguous and moreover which house is intended is not clear. Some examples of mathematical statements are: five is less than eight; a positive rational number is the ratio of two natural numbers; (2 + 4) 2 = Here the first two sentences are true and the third sentence is false. While the expression, 3x + 2 = 10, is a mathematical sentence, it is not a mathematical statement since it involves the variable x and its truth value depends on the value that x assumes. We will see later on how this expression can be made into a mathematical statement using the quantifiers, For all and There exists. 1

2 Mathematical statements are often indicated using capital letters. For example, we might describe the statement five is less than eight by writing P: five is less than eight. The negation of P, symbolized by P, is the statement having the opposite truth value. That is, when P is true, P is false and when P is false, P is true. For the example P above, P is the statement, five is not less than eight, or five is greater than or equal to eight. For an arbitrary mathematical statement P, we can indicate the possible truth values for P and P in the table below, called a truth table. P T F P F T 1.2 Compound Statements In mathematics as in any language, compound statements are formed by combining simpler ones using connectives. The connectives generally used in mathematics are and, or, if...then, if and only if. The truth value of a compound statement will depend on the truth value of its simpler components. Definition 1.2: Given two statements P, Q, the compound statement, P and Q, called the conjunction, is denoted by P Q and is defined by the following truth table. P Q P Q T T T T F F F T F F F F Note that the conjunction, P Q, is true only when both P and Q are true. Example 1.1: If P, Q are the statements P: Salt Lake City is in Utah, Q: Las Vegas is in California, then the statement, P Q: Salt Lake City is in Utah and Las Vegas is in California, is false since Las Vegas is in California is a false statement. The two statements P, Q can also be combined using the connective or as in P or Q. This connective has a different meaning in mathematics than when it is used in the english sentence, Today I will go to school or I will ski all day. Here this means that I will do one or the other of these two actions but not both. The word or used in this sense is called the exclusive or. The sentence, Today I will read a book or take a nap, allows for the possibility that I could read a book, or take 2

3 a nap, or read a book and take a nap. The word or used in this way is called the inclusive or and this is the only use of the connective or in mathematics. Definition 1.3: The statement P or Q, called the disjunction and denoted by P Q, is defined by the truth table table below. P Q P Q T T T T F T F T T F F F Notice that P or Q is true if at least one of the statements is true. Example 1.2: Consider the two statements, P: 5 is a prime number, Q: 7 is an even number. Since P is true, the disjunction, P or Q: 5 is a prime number or 7 is an even number, is a true statement. The statement, If the day is Tuesday, then Mary is in school uses the connective, if...then, to combine the two statements P; the day is Tuesday, Q: Mary is in school. This type of compound statement is called an implication and is denoted by P Q.The truth table for the implication is not as intuitive as the previous truth tables. However, if we consider this statement as a promise, then the only time the promise is broken, or the implication is false, is if the day is Tuesday and Mary is not in school. That is, the only time the statement is false is if P is true and Q is false. Note that if the day is not Tuesday, Mary may or may not be in school and the promise about what happens on Tuesday is not broken. With this reasoning we make the following definition. Definition 1.4: The statement, If P, then Q, called an implication and denoted by P Q, is defined by the truth table below. P Q P Q T T T T F F F T T F F T Note carefully that the only time this implication is false is when P is true and Q is false. Example 1.3: Consider the following implications. 3

4 i. If 3 = 5, then 9 = 25. ii. If 3 = 5, then 4 is even. iii. If the square of a natural number is even, then the number itself is even. iv. If the sum of two natural numbers is even, then both numbers must be even. The first two implications, are of the form P Q where P: 3 = 5 is a false statement. So, the first two implications are true. Notice that in the first, Q is false whereas in the second, Q is true. In the third implication, both P and Q are true statements, so the implication, P Q, is a true statement. The fourth implication is false since 3, and 5 have a sum of 8, an even number, yet neither 3, nor 5 are even. In this example, P is true but Q is false. The last connective to consider is the biconditional statement, P if and only if Q as in the statement, I can get a refund if and only if I have my receipt. Definition 1.5: The biconditional, P if and only if Q, denoted by P Q is defined by the truth table below. P Q P Q T T T T F F F T F F F T Notice that the biconditional, P Q, is a true statement only when P and Q have the same truth value. Example 1.4: The biconditional statement, A rectangle is a square if and only if all of its sides of equal length, is a true statement whereas the statement, A quadrilateral is a square if and only if the sides of the quadrilateral are of equal length is a false statement since a rhombus is a quadrilateral with sides of equal length that is not necessarily a square. Section 2. Equivalent Statements, Negating Statements 2.1 Equivalent Statements It is reasonable to think that the biconditional, P Q is in some way equivalent to the statement, (P Q) (Q P). 4

5 Definition 2.1: Suppose S and T are two compound statements formed from the simple statements P, Q. The statements S and T are said to be equivalent if their truth values are the same for all possible combinations of truth values of P, Q. In that case we write, S T. Looking at the truth table below we see that according to this definition, P Q [(P Q) (Q P)]. P Q P Q Q P P Q (P Q) (Q P) T T T T T T T F F T F F F T T F F F F F T T T T Using truth tables, we can, in a straightforward way, determine whether or not two statements of interest are equivalent. For example, although it may not be immediately obvious, from the following truth table we see that the two statements, P Q and P Q are equivalent. We will see that it is useful to be able to express the implication, P Q in terms of the disjunction, P Q. P Q P Q P Q T T T T T F F F F T T T F F T T 2.2 Negating Statements Using the definition of equivalent statements and recalling that P is that statement that has the opposite truth value from P, we can develop the following rules for negating conjunctions, disjunctions, and implications. Basic Negation Rules: i. (P Q) P Q: This is shown in the next truth table. P Q P Q (P Q) P Q T T T F F T F F T T F T F T T F F F T T This means that the negation of P and Q is the statement, not P or not Q where or is the inclusive or. 5

6 Example 2.1: For the two statements, P: Salt Lake City is in Utah, Q: Las Vegas is in California, P Q is the statement Salt Lake City is in Utah and Las Vegas is in California. The negation of this statement is Salt Lake City is not in Utah or Las Vegas is not in California. Note that in this example, P Q is false since Q is false so its negation is a true statement. Consider the negation of the statement, 4 is a prime number and 4 is odd. The negation is: 4 is not a prime number or 4 is not odd. Here the negation is a true statement since 4 is neither prime, nor odd. ii. (P Q) P Q: You should construct the truth table to show this is correct. In words then, the negation of P or Q is the statement not P and not Q. Example 2.2: Suppose that x is a real number. The negation of the statement x 2 or x 2 is the statement x > 2 and x < 2. In other words, 2 < x < 2. We should take a minute here to observe that these two negation rules can be summarized by saying: to negate a conjunction of two statements, take the disjunction of the negated statements; to negate a disjunction of two statements, take the conjunction of the negated statements. iii. (P Q) P Q: This is shown in the truth table below. P Q P Q (P Q) P Q T T T F F T F F T T F T T F F F F T F F Note here once again that the only time the implication, P Q, is false and hence (P Q) is true occurs when (P Q) is true, that is when P is true and Q is false. Example 2.3: Consider the infinite series, + n=1 a n. In Calculus one shows that, given the two statements, P: lim n + a n = 0, and Q: + 1 a n converges, the implication P Q is false. The Harmonic series, 1 + 1/2 + 1/ which does not converge provides a counterexample, that is an example where P is true and Q is false. iv. (P Q) (P Q) (Q P): You should verify this by applying the above negation rules or by constructing the appropriate truth table. Be sure to note 6

7 that the only way the statement (P Q) can be true and hence P Q false is if P and Q have different truth values. 2.3 Implications and Their Connections In mathematics, implications and their truth value are very important as many theorems or propositions are stated as implications. Given two statements, P, Q, there are four implications that are important to consider. Suppose we call P Q the given statement. Then the four implications are: Statement: P Q Converse: Q P Contrapositive: Q P Inverse: P Q Example 2.5: Suppose P: it is Tuesday, Q: Mary is in school. Then the above implications become: Statement: If it Tuesday, then Mary is in school. Converse: If Mary is in school, then it is Tuesday. Contrapositive: If Mary is not in school, then it is not Tuesday. Inverse: If it is not Tuesday, then Mary is not in school. These four implications are clearly related. In fact, a statement and its contrapositive are equivalent, as are the converse and the inverse. The next table verifies that a statement and its contrapositive are equivalent. You should verify that the converse and inverse of a given statement are equivalent by examining the appropriate truth table. P Q P Q Q P T T T T T F F F F T T T F F T T Notice that in the words of Example 2.5, the fact that a statement and its contrapositive are equivalent means that whenever If it is Tuesday, then Mary is in school is a true statement, then if we observe that Mary is not in school, then the day cannot be Tuesday. 7

8 Before leaving this section we should take careful note that a statement and its converse are not logically equivalent. That is, [P Q] is not equivalent to [Q P]. Or, a statement P Q can be true, yet its converse, Q P be false. Example 2.6 A good example of this is the theorem, If a function f is differentiable at x = 0, then f is continuous at x = 0., is a true statement. However, its converse, If a function f is continuous at x = 0, then f is differentiable at x = 0, is false which is demonstrated by the function f(x) = x. 3. Methods of Proof Theorems and propositions in mathematics are essentially implications about mathematical concepts stated in the form P Q. Usually we call P the hypothesis and Q the conclusion. How can one determine if the statement, P Q, is true, or in other words, the hypothesis implies the conclusion? Remember from the truth table of this implication, that the only time this implication is false is when P is true and Q is false. Hence to prove that this implication is true we must show that P being true forces Q to be true as well. How do we that? We will consider three methods of proof below. 3.1 Direct Proof. In this method we start by assuming P (the hypothesis) is true, then we build a chain of implications, each of which have previously been shown to be true, leading to Q (the conclusion). Suppose there were 6 implications in the chain. Then we could describe the method of direct proof in this way: P, P P 1, P 1 P 2, P 2 P 3, P 3 Q 1, Q 1 Q 2, Q 2 Q. If P and the implications in the above chain are all true, then we must conclude logically that Q is true as well. Note carefully however, if we refer to the truth table for P Q, knowing that P Q is a true statement does not say that P itself is true or that Q is true, only that the implication is a true statement. Recall that P can be false, Q true or false and still the implication is true. Before we consider an example, note that when a theorem is written as, If P, then Q, P being the hypothesis and Q being the conclusion, to prove the theorem is true, we must show that whenever the hypothesis is true, the conclusion is true as well. Example 3.1: (example from Mathematical Reasoning by Ted Sundstrom) Let s examine the implication, If x and y are odd integers, then the product xy is an odd integer. For this proof we need to know that an integer is defined to be 8

9 odd if it can be expressed as (2n+1) where n is an integer. Consider the following statements: P: x, y are odd integers (hypothesis) P 1 : There exist integers m,n such that x=2n+1, y=2m+1 P 2 : xy=x=(2n+1)(2m+1)=2(2mn+m+n)+1 Q 1 : There is an integer k such that xy = 2k+1 Q: xy is an odd integer (Conclusion) Each of the implications below is true for the reasons given in the the parenthesis after the implication. So, if P is true, this chain of implications demonstrates that Q is true as well. P P 1 (Definition of odd integer) P 1 P 2 (Substitution and Algebra) P 2 Q 1 (k=2mn+m+n is an integer since the integers are closed under multiplication and addition) Q 1 Q (Definition of odd integer) While this is an outline of the structure of the proof, we would write the theorem and proof in words more or less in the manner below. Theorem: If x and y are odd integers, then the product xy is an odd integer. Proof: We assume that x and y are odd integers. From the definition of an odd integer, there are integers m,n such that x=2n+1 and y=2m+1. Then the product xy = (2n+1)(2m+1) = 2(mn+n+m) + 1. Because the integers are closed under addition and multiplication, k=(2mn+n+m) is an integer. Since xy = 2k+1, by definition, xy is an odd integer. 3.2 Proof by Contrapositive This method of proof is simply a direct proof of the contrapositive. That is, if we prove directly that Q P is a true statement, since this implication is equivalent to P Q, then we have also shown that P Q is true. Sometimes the contrapositive is easier to prove than the given statement. 3.3 Proof by Contradiction A third method of proof relies on finding a contradiction, that is, a statement that is always false. For example, given a statement P, the statement (P P) is a contradiction. 9

10 A proof by contradiction is based on the fact that P Q is equivalent to ( P Q), an equivalency demonstrated earlier. Recall that the negation of ( P Q) is (P Q). If we can show that this negation is false, then the statement, ( P Q), is true and hence so is the equivalent statement, P Q. Suppose we could show that for some contradiction C, (P Q) C is a true implication. (This would mean that whenever (P Q) holds true, we are led to a contradiction.) Since C is a contradiction, it is always false. Hence for the implication to be true, we must have (P Q) false as well. But as we said above, if (P Q) is false, its negation, ( P Q) must be true and the equivalent statement, P Q, is true as well. Example 3.2: Suppose x is a real number and consider the theorem: If x > 0, then 1 x > 0. Let P, Q be the statements, P: x > 0, Q: 1 x > 0. The theorem we are considering is the implication, P Q. We will show below that (P Q) leads to, or implies, a contradiction and hence the theorem is true. Assume that [x > 0 and 1 x 0] is a true statement. Since x > 0, we can multiply on both sides of the inequality 1 x 0 by x. Doing this, we obtain the inequality, x( 1 x ) x(0), or 1 0. That is, we have shown by direct proof that, the implication, [x > 0 and 1 x 0] [1 0] is a true statement. Clearly the inequality, 1 0, is a contradiction, say C. Since C is false, the only way our implication can be true is if the statement, [x > 0 and 1 x 0] is false. Then whenever x > 0, we must have 1 x > 0. In a subtle way, the above argument used a mathematical sentences called predicate and a quantifier, two topics we consider in the next section. 4. Predicates and Quantifiers Mathematical sentences such as x+3 = -10, or x > 0, or x <y are not mathematical statements since whether they are true or false depends on the value of the variable x. Such sentences are called predicates and are denoted by P(x) when only the variable x is involved, or by P(x,y) when the two variables x, y are involved. One way to make a predicate into a statement is to specify particular value(s) for the variable(s). So, in x+3 = -10, if x= 2 we have a false statement whereas if x= -13, we have a true statement. Another way to turn a predicate into a statement is to use quantifiers. 4.1 Two Quantifiers 10

11 The sentence, For all real x, x+3 = -10 is a mathematical statement that is false, whereas the sentence, There exists a real x such that x+3 = -10 is a true statement. Letting P(x) be the predicate, x+3 = -10, we can write these staments as For all real x, P(x), and There is a real x such that P(x). Generally we assume that there is a specific set of numbers or objects under discussion called the universal set. If our discussion focuses solely on the real numbers, then we can write the above statements more simply as, For all x, P(x) and There is an x such that P(x). Definition 4.1: Universal and Existential Quantifiers The expression For all is the universal quantifier and is denoted by the symbol,. For the statement x, P(x) to be true, P(x) must be a true statement when x is replaced by any value in the universal set. The expression There exists is the existential quantifier and is denoted by the symbol,. Using the symbol as shorthand for the words such that, we write the statement, There exists an x such that P(x) as: x P(x). For this statement to be true, there must be at least one x in the universal set, say x 0 for which P(x 0 ) is a true statement. Example 4.1: Given the statement P: x+3 = - 10, and using the above notation we can see that x, P(x) is a false statement since for x = 2, P(2) is false. However, x P (x) is a true statement since P(-13) is true. It is worth noting here that a quantified statement may be true for one universal set but not for another. For example, x, x > 0 is true for the set of natural numbers but is not true for the set of real numbers. On the other hand, x x + 3 = 0 is false for the set of natural numbers but true for the set of integers. So, in any discussion it must be clearly understand what the universe set is. 4.2 Negating Quantifiers How do we negate statements involving quantifiers? The statement, For all x, P(x), is true only when P(x) is true for any number in the universal set. So for, For all x, P(x) to be false, there must be some x in the universal set, say x 0 such that P(x 0 ) is false. In other words, [ x, P(x)] is the statement, [ x P (x)]. Example 4.2: Assume our universal set is the set of real numbers. and consider the statement, x, x 2 0. The negation of this statement is, x x 2 < 0. Here the original statement was true and its negation is false. Similarly, if there is no x such that P(x) is true, then for all x, P(x) must be false. So we see that the negation of x P (x) is the statement,, P (x). 11

12 Example 4.3: Assume our universal set is the set of real numbers. The negation of, x x < 0 is the statement, x, x 0. Since the original statement was false, its negation is true. We summarize both of these negations involving quantifiers with the following rule. Basic Rules for Negating Quantifiers: i. [ x, P(x)] [ x P(x)] ii. [ x P(x)] [ x, P(x)] 4.3 Statements with Several Quantifiers and/or Variables Some statements that we will be interested in will involve more than one quantifier and possibly several variables. We will look at this situation now. When there is more than one quantifier, it is important to note that changing the order in which the quantifiers appear may change the truth value of the statement. Example 4.4: Let s assume that we are dealing with the real numbers and consider the statement x y x + y = 0. This is a true statement because for y = -x, y is real and x + y = 0. Notice however, that if we change the order of these quantifiers, the resulting statement is y x, x + y = 0. Notice that this is a quite different statement, one that is in fact false. Changing the order of the quantifiers in this example changes a true statement into one that is false. To negate complex statements with several quantifiers and several variables we apply in order the rules for negating single quantifiers. Example 4.5: Consider the statement above, For all x, there exists a y, such that x + y = 0. Letting P(x,y) = x + y = 0, this statement is of the form, x y P(x, y). Negating this statement in steps we have: [ x y P(x, y)] = x [ { y P (x, y)}] = x y, P (x, y). In words, the negation of the original statements is: There exists an x such that for all y, x + y 0. Since the original statement was true, the negation is false. In a similar way, we can derive three more negation rules, that together with the above example, summarize how to negate statements involving two quantifiers and two variables. These four rules are stated below first in symbols. Negation Rules for 2 quantifiers and 2 variables using symbols: i. [ x y P(x, y)] x y, P (x, y)]. 12

13 ii. [ x y, P(x, y)] [ x y, P (x, y)] iii. [ x y, P(x, y)] [ x y, P (x, y)] iv. [ x y P(x, y)] [ x y, P (x, y)] Working with symbols, we can negate statements mechanically using the above rules, even statements involving more than two quantifiers or two variables. However, it is very important to understand the reasoning behind these rules and to be able to express these negations correctly in words. For this reason we will write these four rules below in words and consider an example for each rule. Negation Rules for 2 quantifiers and 2 variables using words: i. [For all x there exists a y such that P(x,y)] = [There exists an x such that for all y, not P(x,y)]. Example 4.6: The negation of [For all real x, there exists a natural number n such that x < n] is the statement, [There is some real x such that for all natural numbers n, x n]. ii. [ For all x, for all y, P(x,y)] = [There is some x and there is some y such that, not P(x,y)]. Example 4.7: The negation of [For all real x and for all real y, the product xy is real.] is the statement, [There is some real x and some real y such that the product xy is not real.] iii. [There is an x such that for all y, P(x,y)] = [For all x, there is some y such that not P(x,y)]. Example 4.8: Taking the negation of [There is some integer n such that for any integer m, m+n = m.] we get the statement, [For all integers n there is some integer m such that m + n m.] iv. [There is some x and there is some y such that P(x,y)] = [For all x and for all y, not P(x,y)] Example 4.9: The negation of (There exist natural numbers a and b such that 2 = a/b] is the statement, [For all natural numbers a, b, a/b 2.] We will finish this section with a brief look at the definition of the limit of a sequence of real numbers. 13

14 Definition 4.2: The limit of a sequence of real numbers {a n } is the real number a if for every ɛ > 0 there is a real number N such that a n a < ɛ whenever n > N. This definition involves the statement, ɛ > 0, N [(n > N) ( a n a < ɛ). So in order to show that a real number a is the limit of a given sequence {a n }, we would need to prove that the above statement is true. On the other hand, to show a real number a is not the limit of the given sequence {a n } we would need to prove that the above statement is false, or that its negation is true. Applying the above rules in order, we see that the negation is the statement, ɛ > 0 N, [if n > N, then a n a < ɛ]. This statement is equivalent to the statement, ɛ > 0 N, [ n > N a n a ɛ]. In words this means that we can show a is not the limit of the given sequence {a n } if we can demonstrate that there is some ɛ such that for any N, there is always some n > N for which a n a ɛ. This completes a brief introduction to some of the basic logic concepts that we will use in the course. 14

### 31 is a prime number is a mathematical statement (which happens to be true).

Chapter 1 Mathematical Logic In its most basic form, Mathematics is the practice of assigning truth to welldefined statements. In this course, we will develop the skills to use known true statements to

### 1 Proposition, Logical connectives and compound statements

Discrete Mathematics: Lecture 4 Introduction to Logic Instructor: Arijit Bishnu Date: July 27, 2009 1 Proposition, Logical connectives and compound statements Logic is the discipline that deals with the

### 2. Methods of Proof Types of Proofs. Suppose we wish to prove an implication p q. Here are some strategies we have available to try.

2. METHODS OF PROOF 69 2. Methods of Proof 2.1. Types of Proofs. Suppose we wish to prove an implication p q. Here are some strategies we have available to try. Trivial Proof: If we know q is true then

### Logic, Sets, and Proofs

Logic, Sets, and Proofs David A. Cox and Catherine C. McGeoch Amherst College 1 Logic Logical Statements. A logical statement is a mathematical statement that is either true or false. Here we denote logical

### Handout #1: Mathematical Reasoning

Math 101 Rumbos Spring 2010 1 Handout #1: Mathematical Reasoning 1 Propositional Logic A proposition is a mathematical statement that it is either true or false; that is, a statement whose certainty or

### Chapter 1 LOGIC AND PROOF

Chapter 1 LOGIC AND PROOF To be able to understand mathematics and mathematical arguments, it is necessary to have a solid understanding of logic and the way in which known facts can be combined to prove

### Even Number: An integer n is said to be even if it has the form n = 2k for some integer k. That is, n is even if and only if n divisible by 2.

MATH 337 Proofs Dr. Neal, WKU This entire course requires you to write proper mathematical proofs. All proofs should be written elegantly in a formal mathematical style. Complete sentences of explanation

### Chapter I Logic and Proofs

MATH 1130 1 Discrete Structures Chapter I Logic and Proofs Propositions A proposition is a statement that is either true (T) or false (F), but or both. s Propositions: 1. I am a man.. I am taller than

### Proof: A logical argument establishing the truth of the theorem given the truth of the axioms and any previously proven theorems.

Math 232 - Discrete Math 2.1 Direct Proofs and Counterexamples Notes Axiom: Proposition that is assumed to be true. Proof: A logical argument establishing the truth of the theorem given the truth of the

### 2. Propositional Equivalences

2. PROPOSITIONAL EQUIVALENCES 33 2. Propositional Equivalences 2.1. Tautology/Contradiction/Contingency. Definition 2.1.1. A tautology is a proposition that is always true. Example 2.1.1. p p Definition

### CHAPTER 1. Logic, Proofs Propositions

CHAPTER 1 Logic, Proofs 1.1. Propositions A proposition is a declarative sentence that is either true or false (but not both). For instance, the following are propositions: Paris is in France (true), London

### The Foundations: Logic and Proofs. Chapter 1, Part III: Proofs

The Foundations: Logic and Proofs Chapter 1, Part III: Proofs Rules of Inference Section 1.6 Section Summary Valid Arguments Inference Rules for Propositional Logic Using Rules of Inference to Build Arguments

### MAT2400 Analysis I. A brief introduction to proofs, sets, and functions

MAT2400 Analysis I A brief introduction to proofs, sets, and functions In Analysis I there is a lot of manipulations with sets and functions. It is probably also the first course where you have to take

### Logic and Proof Solutions. Question 1

Logic and Proof Solutions Question 1 Which of the following are true, and which are false? For the ones which are true, give a proof. For the ones which are false, give a counterexample. (a) x is an odd

### DISCRETE MATHEMATICS W W L CHEN

DISCRETE MATHEMATICS W W L CHEN c W W L Chen, 1982, 2008. This chapter originates from material used by the author at Imperial College, University of London, between 1981 and 1990. It is available free

### CHAPTER 2. Logic. 1. Logic Definitions. Notation: Variables are used to represent propositions. The most common variables used are p, q, and r.

CHAPTER 2 Logic 1. Logic Definitions 1.1. Propositions. Definition 1.1.1. A proposition is a declarative sentence that is either true (denoted either T or 1) or false (denoted either F or 0). Notation:

### Propositional Logic. Definition: A proposition or statement is a sentence which is either true or false.

Propositional Logic Definition: A proposition or statement is a sentence which is either true or false. Definition:If a proposition is true, then we say its truth value is true, and if a proposition is

### 1.3 Induction and Other Proof Techniques

4CHAPTER 1. INTRODUCTORY MATERIAL: SETS, FUNCTIONS AND MATHEMATICAL INDU 1.3 Induction and Other Proof Techniques The purpose of this section is to study the proof technique known as mathematical induction.

### It is time to prove some theorems. There are various strategies for doing

CHAPTER 4 Direct Proof It is time to prove some theorems. There are various strategies for doing this; we now examine the most straightforward approach, a technique called direct proof. As we begin, it

### Quantifiers are used to describe variables in statements. - The universal quantifier means for all. - The existential quantifier means there exists.

11 Quantifiers are used to describe variables in statements. - The universal quantifier means for all. - The existential quantifier means there exists. The phrases, for all x in R if x is an arbitrary

### WUCT121. Discrete Mathematics. Logic

WUCT121 Discrete Mathematics Logic 1. Logic 2. Predicate Logic 3. Proofs 4. Set Theory 5. Relations and Functions WUCT121 Logic 1 Section 1. Logic 1.1. Introduction. In developing a mathematical theory,

### The set consisting of all natural numbers that are in A and are in B is the set f1; 3; 5g;

Chapter 5 Set Theory 5.1 Sets and Operations on Sets Preview Activity 1 (Set Operations) Before beginning this section, it would be a good idea to review sets and set notation, including the roster method

### Chapter Three. Functions. In this section, we study what is undoubtedly the most fundamental type of relation used in mathematics.

Chapter Three Functions 3.1 INTRODUCTION In this section, we study what is undoubtedly the most fundamental type of relation used in mathematics. Definition 3.1: Given sets X and Y, a function from X to

### Theorem 2. If x Q and y R \ Q, then. (a) x + y R \ Q, and. (b) xy Q.

Math 305 Fall 011 The Density of Q in R The following two theorems tell us what happens when we add and multiply by rational numbers. For the first one, we see that if we add or multiply two rational numbers

### Geometry - Chapter 2 Review

Name: Class: Date: Geometry - Chapter 2 Review Multiple Choice Identify the choice that best completes the statement or answers the question. 1. Determine if the conjecture is valid by the Law of Syllogism.

### CHAPTER 3. Methods of Proofs. 1. Logical Arguments and Formal Proofs

CHAPTER 3 Methods of Proofs 1. Logical Arguments and Formal Proofs 1.1. Basic Terminology. An axiom is a statement that is given to be true. A rule of inference is a logical rule that is used to deduce

### 3. Mathematical Induction

3. MATHEMATICAL INDUCTION 83 3. Mathematical Induction 3.1. First Principle of Mathematical Induction. Let P (n) be a predicate with domain of discourse (over) the natural numbers N = {0, 1,,...}. If (1)

### Math 317 HW #5 Solutions

Math 317 HW #5 Solutions 1. Exercise 2.4.2. (a) Prove that the sequence defined by x 1 = 3 and converges. x n+1 = 1 4 x n Proof. I intend to use the Monotone Convergence Theorem, so my goal is to show

### Discrete Mathematics and Probability Theory Fall 2009 Satish Rao, David Tse Note 2

CS 70 Discrete Mathematics and Probability Theory Fall 2009 Satish Rao, David Tse Note 2 Proofs Intuitively, the concept of proof should already be familiar We all like to assert things, and few of us

### Oh Yeah? Well, Prove It.

Oh Yeah? Well, Prove It. MT 43A - Abstract Algebra Fall 009 A large part of mathematics consists of building up a theoretical framework that allows us to solve problems. This theoretical framework is built

### CSE 191, Class Note 01 Propositional Logic Computer Sci & Eng Dept SUNY Buffalo

Propositional Logic CSE 191, Class Note 01 Propositional Logic Computer Sci & Eng Dept SUNY Buffalo c Xin He (University at Buffalo) CSE 191 Discrete Structures 1 / 37 Discrete Mathematics What is Discrete

### 3.3. INFERENCE 105. Table 3.5: Another look at implication. p q p q T T T T F F F T T F F T

3.3. INFERENCE 105 3.3 Inference Direct Inference (Modus Ponens) and Proofs We concluded our last section with a proof that the sum of two even numbers is even. That proof contained several crucial ingredients.

### POSITIVE INTEGERS, INTEGERS AND RATIONAL NUMBERS OBTAINED FROM THE AXIOMS OF THE REAL NUMBER SYSTEM

MAT 1011 TECHNICAL ENGLISH I 03.11.2016 Dokuz Eylül University Faculty of Science Department of Mathematics Instructor: Engin Mermut Course assistant: Zübeyir Türkoğlu web: http://kisi.deu.edu.tr/engin.mermut/

### INTRODUCTION TO PROOFS: HOMEWORK SOLUTIONS

INTRODUCTION TO PROOFS: HOMEWORK SOLUTIONS STEVEN HEILMAN Contents 1. Homework 1 1 2. Homework 2 6 3. Homework 3 10 4. Homework 4 16 5. Homework 5 19 6. Homework 6 21 7. Homework 7 25 8. Homework 8 28

### If f is a 1-1 correspondence between A and B then it has an inverse, and f 1 isa 1-1 correspondence between B and A.

Chapter 5 Cardinality of sets 51 1-1 Correspondences A 1-1 correspondence between sets A and B is another name for a function f : A B that is 1-1 and onto If f is a 1-1 correspondence between A and B,

### 4.3 Limit of a Sequence: Theorems

4.3. LIMIT OF A SEQUENCE: THEOREMS 5 4.3 Limit of a Sequence: Theorems These theorems fall in two categories. The first category deals with ways to combine sequences. Like numbers, sequences can be added,

### What is logic? Propositional Logic. Negation. Propositions. This is a contentious question! We will play it safe, and stick to:

Propositional Logic This lecture marks the start of a new section of the course. In the last few lectures, we have had to reason formally about concepts. This lecture introduces the mathematical language

### The Real Numbers. Here we show one way to explicitly construct the real numbers R. First we need a definition.

The Real Numbers Here we show one way to explicitly construct the real numbers R. First we need a definition. Definitions/Notation: A sequence of rational numbers is a funtion f : N Q. Rather than write

### CS 2336 Discrete Mathematics

CS 2336 Discrete Mathematics Lecture 2 Logic: Predicate Calculus 1 Outline Predicates Quantifiers Binding Applications Logical Equivalences 2 Predicates In mathematics arguments, we will often see sentences

### Discrete Mathematics, Chapter : Predicate Logic

Discrete Mathematics, Chapter 1.4-1.5: Predicate Logic Richard Mayr University of Edinburgh, UK Richard Mayr (University of Edinburgh, UK) Discrete Mathematics. Chapter 1.4-1.5 1 / 23 Outline 1 Predicates

### Students in their first advanced mathematics classes are often surprised

CHAPTER 8 Proofs Involving Sets Students in their first advanced mathematics classes are often surprised by the extensive role that sets play and by the fact that most of the proofs they encounter are

### WHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT?

WHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT? introduction Many students seem to have trouble with the notion of a mathematical proof. People that come to a course like Math 216, who certainly

### Mathematical Induction

Mathematical Induction Victor Adamchik Fall of 2005 Lecture 2 (out of three) Plan 1. Strong Induction 2. Faulty Inductions 3. Induction and the Least Element Principal Strong Induction Fibonacci Numbers

### conditional statement conclusion Vocabulary Flash Cards Chapter 2 (p. 66) Chapter 2 (p. 69) Chapter 2 (p. 66) Chapter 2 (p. 76)

biconditional statement conclusion Chapter 2 (p. 69) conditional statement conjecture Chapter 2 (p. 76) contrapositive converse Chapter 2 (p. 67) Chapter 2 (p. 67) counterexample deductive reasoning Chapter

### Predicates and Quantifiers. Niloufar Shafiei

Predicates and Quantifiers Niloufar Shafiei Review Proposition: 1. It is a sentence that declares a fact. 2. It is either true or false, but not both. Examples: 2 + 1 = 3. True Proposition Toronto is the

### DISCRETE MATH: LECTURE 4

DISCRETE MATH: LECTURE 4 DR. DANIEL FREEMAN 1. Chapter 3.1 Predicates and Quantified Statements I A predicate is a sentence that contains a finite number of variables and becomes a statement when specific

### Inference Rules and Proof Methods

Inference Rules and Proof Methods Winter 2010 Introduction Rules of Inference and Formal Proofs Proofs in mathematics are valid arguments that establish the truth of mathematical statements. An argument

### LESSON 1 PRIME NUMBERS AND FACTORISATION

LESSON 1 PRIME NUMBERS AND FACTORISATION 1.1 FACTORS: The natural numbers are the numbers 1,, 3, 4,. The integers are the naturals numbers together with 0 and the negative integers. That is the integers

### We now explore a third method of proof: proof by contradiction.

CHAPTER 6 Proof by Contradiction We now explore a third method of proof: proof by contradiction. This method is not limited to proving just conditional statements it can be used to prove any kind of statement

### Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics

Undergraduate Notes in Mathematics Arkansas Tech University Department of Mathematics An Introductory Single Variable Real Analysis: A Learning Approach through Problem Solving Marcel B. Finan c All Rights

### Logic will get you from A to B. Imagination will take you everywhere.

Chapter 3 Predicate Logic Logic will get you from A to B. Imagination will take you everywhere. A. Einstein In the previous chapter, we studied propositional logic. This chapter is dedicated to another

### Chapter 3: Elementary Number Theory and Methods of Proof. January 31, 2010

Chapter 3: Elementary Number Theory and Methods of Proof January 31, 2010 3.4 - Direct Proof and Counterexample IV: Division into Cases and the Quotient-Remainder Theorem Quotient-Remainder Theorem Given

### Discrete Mathematics for Computer Science

CS 441 Discrete Mathematics for CS Discrete Mathematics for Computer Science Milos Hauskrecht milos@cs.pitt.edu 5329 Sennott Square Course administrivia Instructor: Milos Hauskrecht 5329 Sennott Square

### 1. Use the following truth table to answer the questions.

Topic 3: Logic 3.3 Introduction to Symbolic Logic Negation and Conjunction Disjunction and Exclusive Disjunction 3.4 Implication and Equivalence Disjunction and Exclusive Disjunction Truth Tables 3.5 Inverse,

### Math 3000 Section 003 Intro to Abstract Math Homework 2

Math 3000 Section 003 Intro to Abstract Math Homework 2 Department of Mathematical and Statistical Sciences University of Colorado Denver, Spring 2012 Solutions (February 13, 2012) Please note that these

### Student Outcomes. Lesson Notes. Classwork. Discussion (10 minutes)

NYS COMMON CORE MATHEMATICS CURRICULUM Lesson 5 8 Student Outcomes Students know the definition of a number raised to a negative exponent. Students simplify and write equivalent expressions that contain

### MAT Discrete Mathematics

RHODES UNIVERSITY Grahamstown 6140, South Africa Lecture Notes CCR MAT 102 - Discrete Mathematics Claudiu C. Remsing DEPT. of MATHEMATICS (Pure and Applied) 2005 Mathematics is not about calculations but

### Propositional Logic. A proposition is a declarative sentence (a sentence that declares a fact) that is either true or false, but not both.

irst Order Logic Propositional Logic A proposition is a declarative sentence (a sentence that declares a fact) that is either true or false, but not both. Are the following sentences propositions? oronto

### 1.5 Methods of Proof INTRODUCTION

1.5 Methods of Proof INTRODUCTION Icon 0049 Two important questions that arise in the study of mathematics are: (1) When is a mathematical argument correct? (2) What methods can be used to construct mathematical

### 2.) 5000, 1000, 200, 40, 3.) 1, 12, 123, 1234, 4.) 1, 4, 9, 16, 25, Draw the next figure in the sequence. 5.)

Chapter 2 Geometry Notes 2.1/2.2 Patterns and Inductive Reasoning and Conditional Statements Inductive reasoning: looking at numbers and determining the next one Conjecture: sometimes thought of as an

### Midterm Examination 1 with Solutions - Math 574, Frank Thorne Thursday, February 9, 2012

Midterm Examination 1 with Solutions - Math 574, Frank Thorne (thorne@math.sc.edu) Thursday, February 9, 2012 1. (3 points each) For each sentence below, say whether it is logically equivalent to the sentence

### Discrete Mathematics Lecture 3 Elementary Number Theory and Methods of Proof. Harper Langston New York University

Discrete Mathematics Lecture 3 Elementary Number Theory and Methods of Proof Harper Langston New York University Proof and Counterexample Discovery and proof Even and odd numbers number n from Z is called

### Math 3000 Running Glossary

Math 3000 Running Glossary Last Updated on: July 15, 2014 The definition of items marked with a must be known precisely. Chapter 1: 1. A set: A collection of objects called elements. 2. The empty set (

### Section 3 Sequences and Limits

Section 3 Sequences and Limits Definition A sequence of real numbers is an infinite ordered list a, a 2, a 3, a 4,... where, for each n N, a n is a real number. We call a n the n-th term of the sequence.

### Predicate in English. Predicates and Quantifiers. Propositional Functions: Prelude. Predicate in Logic. Propositional Function

Predicates and Quantifiers By Chuck Cusack Predicate in English In English, a sentence has 2 parts: the subject and the predicate. The predicate is the part of the sentence that states something about

### Sets and functions. {x R : x > 0}.

Sets and functions 1 Sets The language of sets and functions pervades mathematics, and most of the important operations in mathematics turn out to be functions or to be expressible in terms of functions.

### Introduction to Series and Sequences Math 121 Calculus II D Joyce, Spring 2013

Introduction to Series and Sequences Math Calculus II D Joyce, Spring 03 The goal. The main purpose of our study of series and sequences is to understand power series. A power series is like a polynomial

### Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics. Introductory Notes in Discrete Mathematics

Undergraduate Notes in Mathematics Arkansas Tech University Department of Mathematics Introductory Notes in Discrete Mathematics Marcel B. Finan c All Rights Reserved Last Updated April 6, 2016 Preface

### The last three chapters introduced three major proof techniques: direct,

CHAPTER 7 Proving Non-Conditional Statements The last three chapters introduced three major proof techniques: direct, contrapositive and contradiction. These three techniques are used to prove statements

### Mathematics for Computer Science/Software Engineering. Notes for the course MSM1F3 Dr. R. A. Wilson

Mathematics for Computer Science/Software Engineering Notes for the course MSM1F3 Dr. R. A. Wilson October 1996 Chapter 1 Logic Lecture no. 1. We introduce the concept of a proposition, which is a statement

### def: An axiom is a statement that is assumed to be true, or in the case of a mathematical system, is used to specify the system.

Section 1.5 Methods of Proof 1.5.1 1.5 METHODS OF PROOF Some forms of argument ( valid ) never lead from correct statements to an incorrect. Some other forms of argument ( fallacies ) can lead from true

### INTRODUCTION TO THE CONVERGENCE OF SEQUENCES

INTRODUCTION TO THE CONVERGENCE OF SEQUENCES BECKY LYTLE Abstract. In this paper, we discuss the basic ideas involved in sequences and convergence. We start by defining sequences and follow by explaining

### Chapter 3. Cartesian Products and Relations. 3.1 Cartesian Products

Chapter 3 Cartesian Products and Relations The material in this chapter is the first real encounter with abstraction. Relations are very general thing they are a special type of subset. After introducing

### Elementary Number Theory and Methods of Proof. CSE 215, Foundations of Computer Science Stony Brook University http://www.cs.stonybrook.

Elementary Number Theory and Methods of Proof CSE 215, Foundations of Computer Science Stony Brook University http://www.cs.stonybrook.edu/~cse215 1 Number theory Properties: 2 Properties of integers (whole

### ANALYTICAL MATHEMATICS FOR APPLICATIONS 2016 LECTURE NOTES Series

ANALYTICAL MATHEMATICS FOR APPLICATIONS 206 LECTURE NOTES 8 ISSUED 24 APRIL 206 A series is a formal sum. Series a + a 2 + a 3 + + + where { } is a sequence of real numbers. Here formal means that we don

### Week 5: Quantifiers. Number Sets. Quantifier Symbols. Quantity has a quality all its own. attributed to Carl von Clausewitz

Week 5: Quantifiers Quantity has a quality all its own. attributed to Carl von Clausewitz Number Sets Many people would say that mathematics is the science of numbers. This is a common misconception among

### MATH Fundamental Mathematics II.

MATH 10032 Fundamental Mathematics II http://www.math.kent.edu/ebooks/10032/fun-math-2.pdf Department of Mathematical Sciences Kent State University December 29, 2008 2 Contents 1 Fundamental Mathematics

### Logical Inference and Mathematical Proof

Logical Inference and Mathematical Proof CSE 191, Class Note 03: Logical Inference and Mathematical Proof Computer Sci & Eng Dept SUNY Buffalo c Xin He (University at Buffalo) CSE 191 Discrete Structures

### 1.4/1.5 Predicates and Quantifiers

1.4/1.5 Predicates and Quantifiers Can we express the following statement in propositional logic? Every computer has a CPU No Outline: Predicates Quantifiers Domain of Predicate Translation: Natural Languauge

### Chapter 6 Finite sets and infinite sets. Copyright 2013, 2005, 2001 Pearson Education, Inc. Section 3.1, Slide 1

Chapter 6 Finite sets and infinite sets Copyright 013, 005, 001 Pearson Education, Inc. Section 3.1, Slide 1 Section 6. PROPERTIES OF THE NATURE NUMBERS 013 Pearson Education, Inc.1 Slide Recall that denotes

### Vocabulary. Term Page Definition Clarifying Example. biconditional statement. conclusion. conditional statement. conjecture.

CHAPTER Vocabulary The table contains important vocabulary terms from Chapter. As you work through the chapter, fill in the page number, definition, and a clarifying example. biconditional statement conclusion

### Page : 17, 19, 21, 31, 33. Conditional/Biconditional/Inverse/Converse/Contrapositive Page 109-: odd, odd, 47, 48

Geometry UNIT 2 Reasoning and Proof Day 1 Day 2 Day 3 Day 4 Day 5 Day 6 Day 7 Day 8 Day 9 Day 11 Inductive Reasoning and Conjecture Page 93-95: 15-25 odds, 31-34, 36, 38, 47a Logic Page 101-102: 17, 19,

### Elementary Number Theory We begin with a bit of elementary number theory, which is concerned

CONSTRUCTION OF THE FINITE FIELDS Z p S. R. DOTY Elementary Number Theory We begin with a bit of elementary number theory, which is concerned solely with questions about the set of integers Z = {0, ±1,

### Chapter 2 Limits Functions and Sequences sequence sequence Example

Chapter Limits In the net few chapters we shall investigate several concepts from calculus, all of which are based on the notion of a limit. In the normal sequence of mathematics courses that students

### Introducing Functions

Functions 1 Introducing Functions A function f from a set A to a set B, written f : A B, is a relation f A B such that every element of A is related to one element of B; in logical notation 1. (a, b 1

### v 1. v n R n we have for each 1 j n that v j v n max 1 j n v j. i=1

1. Limits and Continuity It is often the case that a non-linear function of n-variables x = (x 1,..., x n ) is not really defined on all of R n. For instance f(x 1, x 2 ) = x 1x 2 is not defined when x

### Geometry Chapter 2: Geometric Reasoning Lesson 1: Using Inductive Reasoning to Make Conjectures Inductive Reasoning:

Geometry Chapter 2: Geometric Reasoning Lesson 1: Using Inductive Reasoning to Make Conjectures Inductive Reasoning: Conjecture: Advantages: can draw conclusions from limited information helps us to organize

### MATH 55: HOMEWORK #2 SOLUTIONS

MATH 55: HOMEWORK # SOLUTIONS ERIC PETERSON * 1. SECTION 1.5: NESTED QUANTIFIERS 1.1. Problem 1.5.8. Determine the truth value of each of these statements if the domain of each variable consists of all

### Discrete Mathematics, Chapter : Propositional Logic

Discrete Mathematics, Chapter 1.1.-1.3: Propositional Logic Richard Mayr University of Edinburgh, UK Richard Mayr (University of Edinburgh, UK) Discrete Mathematics. Chapter 1.1-1.3 1 / 21 Outline 1 Propositions

### 0 ( x) 2 = ( x)( x) = (( 1)x)(( 1)x) = ((( 1)x))( 1))x = ((( 1)(x( 1)))x = ((( 1)( 1))x)x = (1x)x = xx = x 2.

SOLUTION SET FOR THE HOMEWORK PROBLEMS Page 5. Problem 8. Prove that if x and y are real numbers, then xy x + y. Proof. First we prove that if x is a real number, then x 0. The product of two positive

### Math 317 HW #7 Solutions

Math 17 HW #7 Solutions 1. Exercise..5. Decide which of the following sets are compact. For those that are not compact, show how Definition..1 breaks down. In other words, give an example of a sequence

### Geometry Topic 5: Conditional statements and converses page 1 Student Activity Sheet 5.1; use with Overview

Geometry Topic 5: Conditional statements and converses page 1 Student Activity Sheet 5.1; use with Overview 1. REVIEW Complete this geometric proof by writing a reason to justify each statement. Given:

### Logic and Proofs. Chapter 1

Section 1.0 1.0.1 Chapter 1 Logic and Proofs 1.1 Propositional Logic 1.2 Propositional Equivalences 1.3 Predicates and Quantifiers 1.4 Nested Quantifiers 1.5 Rules of Inference 1.6 Introduction to Proofs

### To formulate more complex mathematical statements, we use the quantifiers there exists, written, and for all, written. If P(x) is a predicate, then

Discrete Math in CS CS 280 Fall 2005 (Kleinberg) Quantifiers 1 Quantifiers To formulate more complex mathematical statements, we use the quantifiers there exists, written, and for all, written. If P(x)

### 1. R In this and the next section we are going to study the properties of sequences of real numbers.

+a 1. R In this and the next section we are going to study the properties of sequences of real numbers. Definition 1.1. (Sequence) A sequence is a function with domain N. Example 1.2. A sequence of real

### The Limit of a Sequence of Numbers: Infinite Series

Connexions module: m36135 1 The Limit of a Sequence of Numbers: Infinite Series Lawrence Baggett This work is produced by The Connexions Project and licensed under the Creative Commons Attribution License

### CHAPTER 3 Numbers and Numeral Systems

CHAPTER 3 Numbers and Numeral Systems Numbers play an important role in almost all areas of mathematics, not least in calculus. Virtually all calculus books contain a thorough description of the natural,

### CS 441 Discrete Mathematics for CS Lecture 5. Predicate logic. CS 441 Discrete mathematics for CS. Negation of quantifiers

CS 441 Discrete Mathematics for CS Lecture 5 Predicate logic Milos Hauskrecht milos@cs.pitt.edu 5329 Sennott Square Negation of quantifiers English statement: Nothing is perfect. Translation: x Perfect(x)

### Math 1B, lecture 14: Taylor s Theorem

Math B, lecture 4: Taylor s Theorem Nathan Pflueger 7 October 20 Introduction Taylor polynomials give a convenient way to describe the local behavior of a function, by encapsulating its first several derivatives

### MATHEMATICAL REASONING

Chapter 14 MATHEMATICAL REASONING 14.1 Overview If an object is either black or white, and if it is not black, then logic leads us to the conclusion that it must be white. Observe that logical reasoning