1. Write the following sets in list form. 1(i) The set of letters in the word banana. Answer: {a, b, n}.

Size: px
Start display at page:

Download "1. Write the following sets in list form. 1(i) The set of letters in the word banana. Answer: {a, b, n}."

Transcription

1 Mathematics 0N1 Solutions 1 1. Write the following sets in list form. 1(i) The set of letters in the word banana. {a, b, n}. 1(ii) {x : x 2 + 3x 10 = 0}. { 5, 2} 1(iii) {x : x an integer and 3 < x < 10}. {4, 5, 6, 7, 8, 9} 2. Write the following sets in predicate form. 2(i) { a, e, i, o, u }. 2(ii) { 2, 2 }. {x : x is a vowel in English alphabet} {x R : x 2 2 = 0} 2(iii) { 5, 7, 9, 11, 13, 15, 17 }. {x Z : 5 x 17 and x is odd} 3. Let A = {a, b, c, d, e}, B = {c, e, f } and C = {a, d, e}. Which of the following statements are true? 3(i) c A. True 3(ii) f A. False 3(iii) B A. False 1

2 2 3(iv) C A. True 3(v) B = {e, e, f, c}. True 3(vi) B. False 3(vii) B. True 4. Find all relations =, or between pairs of {r, t, s}, {s, t, r, s}, {t, s, t, r}, {s}, s. s {r, t, s}, s {s, t, r, s}, s {t, s, t, r}, s {s}; {s} {r, t, s}, {s} {s, t, r, s}, {s} {t, s, t, r}, {s} {s}; {r, t, s} = {s, t, r, s} = {t, s, t, r}. Notice that if two sets A and B are equal then A B and B A. This means that {r, t, s} {s, t, r, s}, {s, t, r, s} {r, t, s}, {r, t, s} {t, s, t, r}, {t, s, t, r} {r, t, s}, {s, t, r, s} {t, s, t, r}, {t, s, t, r} {s, t, r, s}. 5. Find all subsets of the set {w, x, y, z}., {w}, {x}, {y}, {z}, {w, x}, {w, y}, {w, z}, {x, y}, {x, z}, {y, z}, {w, x, y}, {w, x, z}, {w, y, z}, {y, x, z}, {w, x, y, z}. This makes 16 = 2 4 subsets altogether.

3 0N1 MATHEMATICS SOLUTIONS 2 16DEC17 3 0N1 Mathematics Solutions (i) If A B is it necessarily true that B A? NO 1(ii) If A B and A C is it necessarily true that B = C? NO 1(iii) If A B and B C is it necessarily true that A C? YES 1(iv) If A B is it necessarily true that A B? YES 1(v) If A B is it necessarily true that A B? NO 1(vi) If A B and B C is it necessarily true that A C? YES 1(vii) If x B and A B is it necessarily true that x A? NO 1(viii) If x A and A B is it necessarily true that x B? YES 2. Which of the following sets are finite, and which infinite? 2(i) The set of even negative integers. INFINITE 2(ii) {x : x Z and x 2 < 9}. FINITE

4 4 2(iii) {x : x R and x 2 < 9}. INFINITE (i(v) [ 1 2, 1]. INFINITE 2(v) { 1 2, 1}. FINITE 3. Let the universal set be the English alphabet (all 26 letters), i.e. U = {a, b, c,..., z}. Let Find A = {a, b, c, d, e}, B = {b, d, f, h, j}, C = {j, k, l, m, n}. 3(i) A B {b, d} 3(ii) A C 3(iii) B C {j} 3(iv) A B {a, b, c, d, e, f, h, j} 3(v) B C {b, d, f, h, j, k, l, m, n}

5 0N1 MATHEMATICS SOLUTIONS 2 16DEC17 5 3(vi) (A B C) {g, i, o, p, q, r, s, t, u, v, w, x, y, z} 4. Let the universal set be the set of all integers, i.e. U = Z. Let A = {x U : x is odd }, B = {x U : x 2 > 25}, C = {x U : x is negative }. Find 4(i) A B C A B C = {..., 13, 11, 9, 7}. It can also be described as A B C = {x Z : x is odd and x < 5}. 4(ii) A B A B = { 5, 3, 1, 1, 3, 5} 4(iii) A C A C = {1, 3, 5, 7, 9, 11,... } 4(iv) B C {..., 7, 6, 5, 4, 3, 2, 1, 6, 7,... } 5. Let A be any subset of a universal set U. Find

6 6 5(i) U A A 5(ii) A A A 5(iii) U 5(iv) A A 5(v) A A 5(vi) U 5(vii) U A U 5(viii) A A U 5(ix) A A A 5(x) A 6. By drawing Venn diagrams, decide whether or not the following statements are always true when A, B and C are subsets of a universal set U.

7 0N1 MATHEMATICS SOLUTIONS 2 16DEC17 7 (i) (A B) = A B FALSE. (ii) (A B C) = A B C TRUE. (iii) (A B) (B C) (C A) = (A B) (B C) (C A) TRUE. See Figure 1 on page 8. (iv) A (B C) (A B) C TRUE. See Figure 2 on page 9. Much harder (non-compulsory) questions 7. If elements of an infinite set A can be numbered by natural numbers 1, 2, 3,..., it is called countable. Examples: The set N of all natural numbers its elements are their own numbers. The set of even natural numbers E = { 2, 4, 6, 8,... }: if e E, its number is e 2. Prove that the following sets are countable: (i) The set of all odd natural numbers. (ii) The set Z of integers. (iii) The set of all odd integers { 3, 1, 1, 3, 5,... }. (iv) The set of all possible sentences in English language. [Answer to this question is likely to involve a very practically useful concept: lexicographical order.]

8 8 FIGURE 1. Venn diagrams for Question 2.6(iii). Top row, from left to right: A B, B C, C A, (A B) (B C) (C A) Bottom row, from left to right: A B, B C, C A, (A B) (B C) (C A) As you can see, the last two diagrams are the same. This proves that is true. (A B) (B C) (C A) = (A B) (B C) (C A)

9 0N1 MATHEMATICS SOLUTIONS 3 16DEC17 9 FIGURE 2. Venn diagrams for Question 2.6(iv). Top row, from left to right: A, B C, A (B C) Bottom row, from left to right: A B, C, (A B) C As you can see, the last set in the top row is part of the last set in the bottom row. This proves that is true. A (B C) (A B) C 0N1 Mathematics Solutions 3 1. Using the laws of Boolean algebra simplify the following expressions. (i) (A B ) (A B ) by (8) = (A ) (B ) by (7) = A B (ii) (A B) A

10 10 (A B) A by (1) = (B A) A by (3) = B (A A ) by (7) = B U by (6) = U (iii) A (A B) A (A B) by (4) = (A A ) (A B) by (7) = U (A B) by (1) = (A B) U by (6) = A B (iv) A (A B) A (A B) by (8) = A ((A ) B ) by (7) = A (A B ) by (3) = (A A) B by (1) = (A A ) B by (7) = B by (1) = B by (6) = 2. Let A = {x R : x 1 > 2 and x < 4} and let Prove that A B. B = {x R : 5 x 2 20}.

11 0N1 MATHEMATICS SOLUTIONS 3 16DEC17 11 Let x A. Then x 1 > 2 and x < 4. Hence x > 3 and x < 4. Hence x 2 > 9 and x 2 < 16. Hence x 2 5 and x Hence x B. So every element of A belongs to B. Therefore A B. 3. Prove that {x R : x 2 3x + 2 < 0} = (1, 2). (Here (1, 2) is the open interval from 1 to 2.) Write A = {x R : x 2 3x + 2 < 0} and B =]1, 2[. Let x A. Then so x 2 3x + 2 < 0, (x 2)(x 1) < 0. Hence EITHER x 2 > 0 and x 1 < 0 OR x 2 < 0 and x 1 > 0. The first is impossible. Therefore x 2 < 0 and x 1 > 0. hence 1 < x < 2. Hence x B. Therefore A B. 4. A survey of 25 people was made to ask if they liked brands A, B and C. (1) 6 people liked A and B. (2) 7 people liked B but not A. (3) 2 people liked all three brands. (4) 7 people liked B and C. (5) 3 people liked A and C but not B. (6) 5 people liked A only. (7) 15 people disliked C. How many people liked B only? How many people liked C but not A? Denote by a, b, c, d, e, f, g, h the number of people in each region of the Venn diagram as shown.

12 12 A a f d g e b B c h C (0) a + b + c + d + e + f + g + h = 25 (1) d + g = 6 (2) b + e = 7 (3) g = 2 (4) e + g = 7 (5) f = 3 (6) a = 5 (7) a + b + d + h = 15. From (3), (5), (6), g = 2, f = 3, a = 5. Therefore, from (1), d = 4. From (4), e = 5. From (3), b = 2. From (7), h = 4. From (0), c = 0. Hence number of people who like B only is b = 2. Number of people who like C but not A is c + e = Construct truth tables for each of the following expressions. (i) p p p p p p T F F F T T

13 0N1 MATHEMATICS SOLUTIONS 3 16DEC17 13 (ii) ( p q) p q p p q ( p q) T T F F T T F F F T F T T T F F F T F T (iii) p q p q q p q T T F T T F T T F T F F F F T T (iv) (p q) p p q p q (p q) p T T T T T F F F F T F F F F T F (v) (p (q r)) (p (q r)) p q r r q r p (q r) (p (q r)) (p (q r)) T T T F T T T T T F T T T T T F T F F F F T F F T T T T F T T F T T T F T F T T T T F F T F F T T F F F T T T T (vi) ((p q) p) q p q p q (p q) p ((p q) p) q T T T T T T F F T F F T T F T F F T F T

14 14 Much harder (non-compulsory) questions 5. It frequently happens that connectives can be expressed in terms of other connectives we already know, for example, that p q p q, that is, conditional can be expressed in terms of disjunction and negation. (i) Express conjunction in terms of disjunction and negation. (ii Express disjunction in terms of conditional and negation. (iii) Hence express conjunction in terms of conditional and negation. (iv) Try to rewrite Boolean Laws in terms of conditional and negation. You will see that this is possible, but the logical identities that you get that you get are ugly and not very intuitive. The Boolean Laws have been chosen in the way they are for good reason: they are simple and transparent. 6. Recall that a statement is called a tautology if takes truth value T regardless of truth values of simple component statement involved in it. For example, p p, p p, and p (q p) are tautologies, but p (p q) is not. For statements built from component statements using only conditional one example is (p q) ((q r) (o (r q))), there is quick way of easily checking whether it is a tautology or not. Find it. Hint: p q is F if and only if p T and q F. Given a statement built conditional only, try to analyse how it could happen to be F. Start with a relatively short statement with just two variables, that is, simple statements involved. 7. Try to figure out how to produce a statement with a given truth table. For example, can you find a formula of Boolean Algebra with the following truth table? p q? T T F T F F F T T F F F

15 0N1 MATHEMATICS SOLUTIONS 3 16DEC17 15 (This problem lies at the heart of the digital circuits theory in electronic engineering.)

16 16 0N1 Mathematics Solutions 4 1. Determine the truth value of each of the compound statements (a), (b) and (c) given the following information: (i) The statement Mr Black is taller than Mr Blue is true. (ii) The statement Mr Green is shorter than Mr White is false. (iii) The statement Mr Blue is of average height is true. (iv) The statement Mr Brown has the same height as Mr Black is false. (a) If Mr Black is taller than Mr Blue, then Mr Green is not shorter than Mr White. T. Let p be Mr Black is taller than Mr Blue T Let q be Mr Green is shorter than Mr White F Let r be Mr Blue is of average height T Let s be Mr Brown has same height as Mr Black F p q. p q q p q T F T T (b) If either Mr Brown does not have the same height as Mr Black or Mr Green is shorter than Mr White, then Mr Blue is of average height T. ( s q) r. s q r s s q ( s q) r F F T T T T (c) If Mr Brown does not have the same height as Mr Black, then either Mr Green is shorter than Mr White or Mr Blue is not of average height. F. s (q r). s q r s r q r s (q r) F F T T F F F

17 0N1 MATHEMATICS SOLUTIONS 4 16DEC Which of the following statements are tautologies? (i) (p q) (q p) Tautology. p q p q q p (p q) (q p) T T T T T T F T T T F T T T T F F F F T (ii) p ((p q) r) Tautology. Always T when p is F. So we only need to consider the case where p is T. But then (p q) r is T. Hence p ((p q) r) is T. (iii) p (q (q p)) Tautology. p q q p q (q p) p (q (q p)) T T T T T T F T T T F T F F T F F T T T (iv) ((p q) q) p Not a tautology. p q p q (p q) q ((p q) q) p T T T T T T F F T T F T T T F F F T F T (v) (p q) (p r) Tautology. If p is F then p q is F so (p q) (p r) is T. So we only need to consider the case where p is T. p q r p q p r (p q) (p r) T T T T T T T T F T T T T F T F T T T F F F T T

18 18 (vi) (p q) (q p) Not a tautology. p q p q q p (p q) (q p) T T T T T T F F T F F T T F F F F T T T 3. Which of the following statements are logically equivalent to the statement Either it is raining or it is snowing. [USE TRUTH TABLES OR THE FUNDAMENTAL LOGICAL EQUIVALENCES, WHICHEVER IS EASIER.] (i) It is not the case that it is not raining and not snowing. Let p be it is raining ; let q be it is snowing. The given statement is p q. ( p q) p q p q. (ii) Either it is raining and snowing or it is snowing. (p q) q. p q p q (p q) q p q T T T T T T F F F T F T F T T F F F F F Last 2 columns are different. So (p q) q p q. (iii) Either it is raining or it is snowing and not raining. p (q p) (p q) (p p) (p q) T p q.

19 0N1 MATHEMATICS SOLUTIONS 4 16DEC17 19 (iv) It is not raining and not snowing. p q (p q). This has opposite truth values to p q. So p q p q. (v) p q. p q q p q p q T T F F T T F T T T F T F F T F F T F F Last 2 columns are different. p q p q. (vi) p q p q p q. 4. Using Boolean Laws, simplify the following statements. (i) p (p q). p (p q) ( p p) ( p q) T ( p q) p q. (ii) p (q p) p (q p) p (q p) p ( q p) p (p q) ( p p) q T q T

20 20 (iii) ( p q) (p q) ( p q) (p q) ( p q) ( p q) p (q q) p T p. [Using distributive law backwards!] (iv) p ((p q) (p r)) p ((p q) (p r)) p (p (q r)) ( p p) (q r) F (q r) F. [Using distributive law backwards!]

21 0N1 MATHEMATICS SOLUTIONS 5 PREDICATE LOGIC 16DEC N1 Mathematics Solutions 5 1. In each of the following find values of x and y which make p(x, y) true and find values which make p(x, y) false. (Only one example of each is required.) (i) p(x, y) denotes x 2 + y 2 = 2. p(1, 1) is true and p(0, 0) is false. (ii) p(x, y) denotes x > y 3. p(1, 0) is true and p(0, 5) is false. (iii) p(x, y) denotes x + y xy. p(1, 0) is true and p(0, 0) is false. 2. Let p(x), q(x, y), r(x, y) and s(x, y) denote the predicates x > 0, x > y, x = y and x + y = 2, respectively. Find whether the following statements are true or false. (i) p(2) (q(1, 1) r(2, 0)). True, because p(2) is true and q(1, 1) is false. (ii) p( 1) p(1). False, because p( 1) is false and p(1) is true. (iii) (q(2, 1) s(1, 1)). False, because q(2, 1) and s(1, 1) are both true. 3. Write the following statements using quantifiers (e.g. ( x)x 2 0): (i) For all A and B, A B = B A. ( A)( B)A B = B A.

22 22 (ii) x + y = y + x for all x and y. ( x)( y)x + y = y + x. (iii) 2x > 50 for some x. ( x)2x > 50. (iv) There exist A and B such that A B. ( A)( B)A B. (v) Given any x there exists y such that y < x. ( x)( y)y < x. (vi) There exists x such that x y 2 for all y. ( x)( y)x y Let p(x, y) denote the predicate Person x answered question y. Write the following statements using predicate notation (e.g. ( x)( y)p(x, y)): (i) There was one question which was answered by everyone. ( y)( x)p(x, y). (ii) Everyone answered at least one question. ( x)( y)p(x, y). (iii) All questions were answered by everyone. ( y)( x)p(x, y). (iv) There was somebody there who answered all the questions. ( x)( y)p(x, y).

23 0N1 MATHEMATICS SOLUTIONS 5 PREDICATE LOGIC 16DEC Let p(x, y) be as in Exercise 4. Suppose Ann, Bill, Carol and Dick answered from a set of questions numbered 1, 2, 3, 4 as shown. Ann Bill Carol Dick Which of the following statements are true? (i) ( x)( y)p(x, y) False (ii) ( x)( y)p(x, y) False; Carol answered no questions. (iii) ( y)( x)p(x, y) False (iv) ( x)( y)p(x, y) True; this person is Dick. (v) ( y)( x)p(x, y) True; every question is answered by someone. (vi) ( x)( y)p(x, y) True

24 24 0N1 Mathematics Solutions 6 1. Find whether the following statements are true or false where the universal set is Z = {..., 3, 2, 1, 0, 1, 2, 3,... }. (i) ( x)( y)( z)z < x + y True (ii) ( z)( x)z < x 4 True; for example, z = 1. (iii) ( x)( y)y 2 = x False; x = 2 is a counterexample. (iv) ( y)( x)y 2 = x True (v) ( x)( y)x + y = 2 False (vi) ( z)( y)yz = 6. True; for example, z = 1 and y = Let U be a universal set which contains at least 2 different elements. Let x stands for any elements of U and let A and B stand for any subsets of U. Which of the following are true? (i) ( A)( x)(x A x A ) True. In plain English, the statement is For all sets A and all elements x, x belongs to A or x does not belong to A. This is obviously always true because P P is a tautology, every statement of that form is always true. For example, the statement

25 0N1 MATHEMATICS SOLUTIONS 6 16DEC17 25 I live on the Moon or I do not live on the Moon is true. Our particular statement ( A)( x)(x A x A ) is logically equivalent to ( A)( x)((x A) (x A)) (because x A is the same as (x A)). But, as we just discussed, (x A) (x A) is always true, and therefore ( A)( x)((x A) (x A)) is true. (ii) ( A)( x)x A False; A = is a counterexample. (iii) ( A)( B)(A B B A) False. However, the assumption that U contains at least 2 elements is essential: the statement is T if U is empty or contains only one element. (iv) ( A)( B)A B. True; take B = U (or B = A). (v) ( A)( B)(A B ( x)(x B (x A))) True 3. Simplify the following statement.

26 26 (i) (( x)( y)(p(x, y) ( z) q(z))) (( x)( y)(p(x, y) ( z) q(z))) ( x) ( y)(p(x, y) ( z) q(z)) ( x)( y) (p(x, y) ( z) q(z)) ( x)( y)( p(x, y) ( z) q(z)) ( x)( y)( p(x, y) ( z) q(z)) ( x)( y)( p(x, y) ( z)q(z)) ( x)( y)(p(x, y) ( z)q(z)) (ii) ( x) ( y)(p(x, y) q(y)) ( x) ( y)(p(x, y) q(y)) ( x)( y) (p(x, y) q(y)) ( x)( y) ( p(x, y) q(y)) ( x)( y)( p(x, y) q(y)) ( x)( y)(p(x, y) q(y)) (iii) ( x)( y)( z)p(x, y, z) ( x)( y)( z) p(x, y, z) (iv) (( x)( y) p(x, y)) ( x)q(x) (( x)( y) p(x, y)) ( x)q(x) (( x)( y) p(x, y)) ( x)q(x) ( ( x)( y) p(x, y)) ( x)q(x) (( x) ( y) p(x, y)) ( x)q(x) (( x)( y) p(x, y)) ( x)q(x) (( x)( y)p(x, y)) ( x)q(x)

27 0N1 MATHEMATICS SOLUTIONS 6 16DEC Find a counterexample to each of the following statements. (i) Every even integer is divisible by 4. For example, 2 is even but is not divisible by 4. (ii) If A and B are sets such that A B then B A. For example, A = {1}, B = {2}. (iii) If x and y are real numbers such that x 2 = y 2 then x 3 = y 3. For example, x = 1 and y = 1. (iv) For all real numbers x, y and z, if x > y then xy > yz. For example, x = 2, y = 1, z = A contrapositive to the statement p q is the statement q p. (i) Use truth tables to prove that the conditional statement p q and its contrapositive q p are logically equivalent. At this stage, it should be a routine truth table. A contrapositive to the statement is the statement It follows from (i) that ( x)(p(x) q(x)) ( x)( q(x) p(x). ( x)(p(x) q(x)) and ( x)( q(x) p(x) are logically equivalent.

28 28 Write the contrapositive form of each of the following statements. The universal set is Z. (ii) If x is odd then x 2 is odd. If x 2 is even then x is even. (iii) If x 2 = 4 then x < 3. If x 3 then x 2 4. (iv) If there exists y such that y 2 = x then x 0. If x < 0 then for y 2 x for every y. (iv) If x 1 and x 2 then x 2 3x If x 2 3x + 2 = 0 then x = 1 or x = 2. Discuss why the contrapositive statements in (ii) (iv) are equivalent to the original statements (that is, the both are true or false simultaneously). 6. A converse of a conditional statement p q is q p. (i) Show by real life examples, and/or by constructing truth tables that p q and q p are not logically equivalent. p: I am at home. q: The light is on. p q: If I am at home then the light is on. q p: If the light is on I am at home then I am at home. p q and q p are not the same: I can leave home but forget to switch off the light.

29 0N1 MATHEMATICS SOLUTIONS 6 16DEC17 29 (ii) Prove that is we start with a statement p q and form its contrapositive, and then the converse of the contrapositive, then the resulting statement is logically equivalent to the contrapositive of the converse. The contrapositive to p q is q p, and the converse of contrapositive is p q. If we now take the converse of p q, we get q p, and then take contrapositive of the converse, we again get the same p q.

30 30 0N1 Mathematics Solutions 7 1. Express in interval / segment notation (i) { x : 1 x 4 }. [1, 4] (ii) { x : 1 < x 4 } ]1, 4] (iii) { x : x > 4 } ]4, + [ 2. Given sets find (1) A B (2) A B A = { 2, 0, 1, 2, 3, 4}, B = [ 1, 3], C = ] 2, 1[, A B = [ 1, 3] { 2, 4} A B = {0, 1, 2, 3} (3) A C A C = [ 2, 1] {2, 3, 4} (4) A C A C = {0}

31 0N1 MATHEMATICS SOLUTIONS 7 16DEC17 31 (5) B C B C = ] 2, 3] (6) B C B C = [ 1, 1[ 3. Given intervals / segments find (1) A B A = ]0, 3[, B = ]2, 4], and C = [ 1, 1], A B =]0, 4] (2) A B A B =]2, 3[ (3) A C A C = [ 1, 3[ (4) A C A C =]0, 1] (5) B C B C = [ 1, 1] ]2, 4] (6) B C 4. Find B C = (i) [0, 1] ]1, 2] [0, 2] (ii) ], 1] [0, + [. [0, 1] 5. We take R for the universal set U. Compute

32 32 (i) [1, 2] ( ], 1] [2, + [ ). { 1, 2 } just two points! (ii) ( ], 1] [2, + [ ). The interval ]1, 2[. 6. [A much harder problem not compulsory!] Suppose x is a positive real number. Prove, by contradiction, that x + 1 x 2. Assume, by the way of contradiction, that x + 1 x < 2. Since x is positive, we can multiply the both sides of this inequality by x and get x < 2x, which can be rearranged as x 2 2x + 1 < 0 and then as (x 1) 2 < 0. But squares cannot be negative a contradiction. Hence our assumption that x + 1 x < 2 was false, which means that x + 1 x 2 for all positive real numbers x.

33 0N1 Mathematics Solutions 8 1. Solve the inequalities expressing the answers as segments, intervals, rays, half-lines, the whole line or as the empty set. (i) 2x + 1 x + 2 x 1, or x [1, + [. (ii) x + 1 < x + 2 x R. Indeed, since 1 < 2, adding an arbitrary x to the both sides, we see that x + 1 < x + 2 is true for all x R. (iii) x + 1 > x + 2 x (that is, no solution). Indeed, if the inequality holds for some real number x then, subtracting x from the both sides of the inequality, we get 1 > 2, an obvious contradiction. (iv) 2x < x x ], 0[. (v) x < 2x x ]0, + [. Indeed, the equation can be rearranged as 0 < 3x, and, after dividing the both sides by 3, as 0 < x. (vi) 2x < x < 3x or x ] 1 3, + [.

34 34 (vii) x > x x ], 0[. 2. Solve the inequalities expressing the answers as Boolean combinations (that is unions, intersections, etc.) of segments, intervals, rays, half-lines. (i) x < x 2 x ], 0[ ]1, + [. (ii) x x 3 x [ 1, 0] [1, + [. There are at least two possible approaches to this inequality and at least two ways to solve it. Solution 1. The inequality could be much simplified if we divide both its sides by x. This operation has to be done with care. We have to consider as a separate case the possibility when x = 0 and we cannot divide by x. We have treat separately the cases x > 0 and x < 0 when we can divide by x, but remember that division by x > 0 does not change the direction of inequality, but division by x < 0 changes the direction of inequality. So we have to consider three cases: x = 0, x < 0 and x > 0. CASE 0. x = 0 Substituting x = 0 into the inequality x x 3, we see that = 0 is true, hence 0 belongs to the solution set. CASE 1. x < 0 When dividing the both sides of the inequality x x 3 by x < 0 we have to change the direction of the inequality, so we get 1 x 2

35 0N1 MATHEMATICS SOLUTIONS 8 16DEC17 35 which has the solution set [ 1, 1] (or 1 x 1). But we have to remember our assumption x < 0 (or x ], 0[ ), so in this case the solutions form the set CASE 2. x > 0 ], 0[ [ 1, 1] =] 1, 0[. Division by x does not change the direction of inequality, so we get 1 x 2 which has the solution set ], 1] [1, + [. But we have to remember our assumption x > 0 (or x ]0 + [ ), so in this case the solutions form the set (], 1] [1, + [ ) ]0 + [ = [1, + [. Now we have to assemble the three Cases 0, 1, and 2 together: the solution set of is x x 3 { 0 } ] 1, 0[ [1, + [ = ] 1, 0] [1, + [. Solution 2. This approach is more general and works for many inequalities between polynomial expressions. We rearrange x x 3 as 0 x 3 x and factorise the RHS of the inequality: 0 x 3 x = x(x 2 1) = x(x + 1)(x 1). The expression x(x +1)(x 1) is zero, positive, or negative depending of whether the individual factor x, x + 1, and x 1 are zero, positive or negative. They turn into zero when x = 0, x = 1, or x = +1; it is easy to check that, in theses cases, x x 3, so the points x = 0, x = 1, x = +1 belong to the solution set.

36 36 The three points x = 1, 0, 1 divide the real line R into 4 intervals ], 1[, ] 1, 0[, ]0, 1[, ]1, + [ ; at each of these intervals the quantities x + 1, x, and x 1 are either positive or negative but have their signs unchanged. we can easily make a list. If x ], 1[, all three of x + 1, x, and x 1 are negative, so their product is negative: (x + 1)x(x 1) < 0. (just take x = 2). If we move the point x further in the positive direction and go over the boundary point x = 1, x + 1 changes sign, but x and x 1 do not, so the sign of the product (x + 1)x(x 1) changes: if x ] 1, 0[, we have (x + 1)x(x 1) > 0. Similarly, at x = 0 the quantity x changes the sign but x+1 and x 1 do not, and the sign of the product (x +1)x(x 1) changes again: if x ]0, 1[, we have (x + 1)x(x 1) < 0. Similarly, after another change of signs at x = 1 we have if x ]1, + [, we have (x + 1)x(x 1) > 0. Now the solution set of the inequality is the union x 3 x = (x + 1)x(x 1) 0 { 1 } ] 1, 0[ { 0 } { 1 } ]1, + [ = [ 1, 0] [1, + [. (iii) x x 2 x [ 1, 0]. 3. Write the negations of the following inequalities.

37 0N1 MATHEMATICS SOLUTIONS 8 16DEC17 37 (i) 2x + 1 x + 2 2x + 1 < x + 2. (ii) 2x + 1 > x + 2 2x + 1 x + 2 (iii) x > x + 1 x x Find solution sets for the negations of the following inequalities. (i) 2x + 1 x + 2 The negation is it is equivalent to 2x + 1 < x + 2, x < 1 and has the solution set ], 1[. (ii) 2x + 1 > x + 2 The negation is 2x + 1 x + 2, it is equivalent to x 1 and has the solution set ], 1]. (iii) x > x + 1 The negation is x x + 1 and has the solution set [ 1 2, + [. 5. Solve the systems of simultaneous inequalities:

38 38 (i) x x 1 0 x [ 1, 1]. Indeed, the system can be rearranged as x 1 x 1, therefore the solution set is { x : 1 x 1 } = [ 1, 1]. (ii) x x 1 0 The solution set is empty, since the two inequalities can be rearranged as x 1 1 x and contradict each other since they imply 1 x 1 and 1 1, an obvious absurdity. (iii) x + 1 x + 2 x 0 The first inequality, x + 1 x + 2, holds for all x R, therefore it is only the second inequality that matters. Hence the solution is x 0, and the solution set is [0, + [.

39 0N1 MATHEMATICS SOLUTIONS 8 16DEC17 39 (iv) x + 2 x + 1 x 0 The first inequality, x + 2 x + 1, has no solution, therefore the system of simultaneous inequalities which includes it also has no solution. (iv) 2x + 2 x + 1 x 1 The system is equivalent to x 1 x 1 and therefore has solution x = 1. The following three problems are much harder and not compulsory. They are loosely related to the harmonic mean and geometric mean discussed in Lectures 15 16, and well be discussed later. But if the rest of homework is too easy for you, you may wish to have a try now. No solution are provided for time being, 6. In the Manchester Airport, connections between terminals have segments where passengers have to walk on their own, and segments where a travelator, or a moving walkway, is provided. A passenger is in a hurry, but needs to tie his shoestrings. What is speedier: to stop on the usual pedestrian walkway and tie the shoe-strings, or tie the shoe-strings while standing, instead of walking, on a moving walkway? HINT: Buy a stop-watch and take bus 43 to Manchester Airport. In a more serious way, introduce some notation: let T

40 40 be time, in seconds, needed for tieing shoe-strings, u speed, in m/sec, of the passenger walking, v speed, in m/sec, of the travelator, and L the length of the travelator. Express the time lost in these two scenarios in terms of T, u, v, and L, and compare the two outcomes. 7. A paddle-steamer takes five days to travel from St Louis to New Orleans, and seven days for the return journey. Assuming that the rate of flow of the current is constant, calculate how long it takes for a raft to drift from St Louis to New Orleans. HINT: The answer involves essentially the same expression as the formula for geometric mean but with a twist. We need to somehow calculate the speed of the steamer downstream and upstream, and for let us introduce some fantasy unit of length, say, lieue, and chose it such a way that the distance between St Louis and New Orleans is 35 lieue; then the speed of the steamer is 35 5 = 7 lieue/day downstream and 35 7 = 5 lieue/day upstream. The difference of upstream and downstream is twice the speed of the current, hence the speed of the current is (7 5) 2 1 lieue/day, and a raft will drift 35 days. 8. Two hikers set out at sunrise and each walked with a constant speed. One went from A to B, and the other went from B to A. They met at noon, and continuing without a stop, they arrived respectively at B at 4pm and at A at 9pm. At what time was sunrise on that day? HINT: Can you imagine that the geometric mean appears in the answer? Assume that the two hikers walked from A to B and from B to A, respectively, and that they met at point M. Then the first hiker covered the distance from A to M in from sunrise to noon and then distance from M to B in 4 hours. Since he walked at constant speed, distance from A to M distance from M to B time from sunrise to noon =. 4 hours

41 0N1 MATHEMATICS SOLUTIONS 8 16DEC17 41 Similarly, for the second hiker distance from M to A distance from B to M = 9 hours time from sunrise to noon. Since it does not matter in which direction we measure distance, from A to M or from M to A, etc., distance from A to M distance from M to A = distance from M to B distance from B to M and consequently we get a proportion time from sunrise to noon = 4 hours Solving it, we have 9 hours time from sunrise to noon. time from sunrise to noon = 4 9 = 36 = 6 hours. Therefore the sunrise was 6 hours before the noon, that it, at 12 6 = 6am hours.

42 0N1 Mathematics Solutions 9 1. (Based on Exercise 4.3 of Schaum s Intermediate Algebra) Graph the following lines using the intercept method. (a) x y = 2 (b) x + y = 2 (c) 3x + 4y = 12 (d) 2x + 4y = 8 (e) 2y 3x = 6 (f) 2x + 3y = 4 See Figure 3 at page Given a line 2x + 3y = 5, separate the points A( 2, 1), B(1, 2), C(1, 2), D(1, 0), E(100, 1001) in two groups that lie on opposite sides of the line. B is one side, A, C, D, E are on another. Relative position of a point x, y with respect to a line 2x + 3y = 5 depends on the sign +, 0 of the value of the linear function 2x + 3y 5 at this point. A simple calculation shows that f (x, y) is positive at B and negative at A, C, D, E. 3. Graph the following linear inequalities in two variables x and y. (a) x 1 3 (b) 2x + y < 2 (c) x 3y > 3 (d) y 2 See Figure 4 at page Graph the following systems of simultaneous linear inequalities in variables x and y. (a) x 1, y 1 (b) x 1, y 1, x + y 3

43 0N1 MATHEMATICS SOLUTIONS 9 16DEC17 43 FIGURE 3. Graphical solutions to Question 9.1.

44 44 (c) x 1, y 1, x + y 2 (d) x 1, y 1, x + y < 2 See Figure 5 at page Solve inequalities involving the absolute value { x if x 0 x = x if x < 0 and express the answers in the interval form. (a) 2x < 8 x ] 4, 4[ (b) 2x < 8 x ] 4, 4[ (c) 2x > 8 x R (d) x + 1 > 1 x ], 2[ ]0, + [ (e) x + 1 > x x R (f) x 1 x x ], 1 2 ] Harder non-compulsory problems: 6. Sketch graphs of the functions: (a) y = x (b) y = x + x (c) y = x x

45 (d) 0N1 MATHEMATICS SOLUTIONS 9 16DEC17 45 y = { x x if x 0 0 if x = 0 7. Prove an inequality for all x, y R: x + y x + y. 8. Sketch graphs of the functions (a) y = x y y = x 0 x (b) y = x 1 y y = x x (c) y = x 1 1 y y = x x

46 46 0N1 Mathematics Solutions Solve the following quadratic inequalities (a) x 2 + 6x + 9 < 0 No solution. (b) x 2 + 4x x = 2. (c) x 2 4x + 3 < 0 x ]1, 3[. (d) x 2 + 3x x ], 2] [ 1, + [. 2. The following inequalities can be rearranged into quadratic or linear inequalities. Solve them. Warning: if you multiply / divide both part of an inequality by a number, take into account the sign of this number! (a) x(x + 2) > 3 x ], 3[ ]1, + [. After opening the brackets and rearrangement, we have an equivalent inequality x 2 + 2x 3 > 0. After completing the square, we have x 2 + 2x 3 = x 2 + 2x = (x + 1) 2 4 = (x + 1) = [(x + 1) + 2] [(x + 1) 2] = (x + 3)(x 1).

47 0N1 MATHEMATICS SOLUTIONS 10 16DEC17 47 Hence our inequality is equivalent to (x + 3)(x 1) > 0. which has solution x ], 3[ ]1, + [. (b) x + 4 x 4 x > 0, or x ]0, + [. We need to multiply the both part of the inequality by x. When x < 0, this will lead to change in the direction of the inequality. But for x < 0 4 < 0, too, so in that case x x + 4 x < 0 and x < cannot be a solution of the original inequality. We also have to exclude the case x = 0 since division by zero is not permitted. So if x is a solution then x > 0 and we can multiply the both parts of the inequality by x without changing the direction of the inequality, obtaining x x 2 4x (x 2) 2 0 But the last inequality holds for all real x. Hence our solutions are bound only by restriction made in the process of rearrangements, x > 0, and therefore the solution set is ]0, + [ (c) 1 x > x Since the expression on LHS involves division by x, the value x = 0 should be excluded from the solution set. CASE 1: x < 0. Multiplying by x, we change the direction of the inequality and get which is equivalent to 1 < x 2 x 2 1 > 0

48 48 or, which is the same (x + 1)(x 1) > 0 Therefore x + 1 and x 1 have to be of the same sign. Since we assume that x < 0, x 1 < 0 and x + 1 < 0. But x 1 < x + 1, therefore x 1 < 0 x + 1 < 0 is the same as x + 1 < 0 which is the same as x < 1. Hence in Case 1 the solution is x ], 1[. CASE 2: x > 0. Multiplying by x, we get which is equivalent to or, which is the same 1 > x 2 x 2 1 < 0 (x + 1)(x 1) < 0 Therefore x + 1 and x 1 have to be of different signs, which is possible only if 1 < x < 1. Since we assume that x > 0, this means that 0 < x < 1 x ]0, 1[. Combining these two cases, we see that the total of the solution set is x ], 1[ ]0, 1[. (d) x 2 x 3 x {0} [1, + [. (e) x 2 x 4 x [ 1, 1]. Indeed, x = 0 belongs to the solution set. Let us look for other solutions: if x 0, we can divide the both parts of the inequality by the positive number x 2 without changing the direction of the inequality, and get x 2 1. We solved this inequality before, its solution set is [ 1, 1]; it contains 0, so we have not lost

49 0N1 MATHEMATICS SOLUTIONS 10 16DEC17 49 solutions when divided by x 2. (f) x x x ], 0[. 3. Determine which of the following points A(3, 2), B(1, 2), C(1, 1) lie inside of the triangle formed by the lines 2x + y = 1, 2y x = 2, 3x + y = 6. B(1, 2). First of all, rewrite the equations of the lines as 2x + y 1 = 0 x + 2y 2 = 0 3x + y 6 = 0 and draw the following picture (purely symbolical, without any coordinates or caring about realistic proportions Solving system of linear equations, 2x + y 1 = 0 x + 2y 2 = 0 we find that the point of intersection of these two lines is (0, 1), similarly the point of intersection of the lines 2x + y 1 = 0 3x + y 6 = 0

50 50 is (1, 3), and the point of intersection of 2x + y 1 = 0 x + 2y 2 = 0 is approximately (1.2, 1, 7). We represented this information about the vertexes of the triangle formed by the three lines in the diagram Now, for each vertex we compute the sign taken by the linear function representing the opposite side of the triangle; for example, the function 3x + y 6 = 0 takes at the vertex (0, 1) the value = 2 thus is negative; we assign to the side 3x + y 6 = 0 the sign ; we do the same for the rest of the sides and add this information to the diagram: Observe that the point (x, y) of the plane liez inside of the triangle if and only i if it lies on the half plane with respect to every side as the vertex opposite sides, hence, if and only if the functions 2x + y 1, x + 2y 2, 3x + y 6 takes at the point (x, y) values of signs, +,, respectively. But it is ease to computes, that at the given points these signs are A(3, 2) :,, +, B(1, 2) :, +,, C(1, 1) :,,,.

51 0N1 MATHEMATICS SOLUTIONS 10 16DEC17 51 Hence the point B lies inside of the triangle, while points A and C are outside of the triangle. 4. Sketch the solution sets of the following systems of simultaneous inequalities in variables x and y. (a) 1 x 2, 1 y 1 (b) 1 x + y 2 (c) x y 2x (d) x 2 y 1 (e) 0 y x 2 See Figure [Examination January 2016] Find the maximal values of the functions (i) f (x, y) = x + y (ii) g(x, y) = x + 3y (iii) h(x, y) = x subject to restrictions x 0, y 0, x + 2y 6, 2x + y 6. Coefficients of the linear functions f, g, h and of the restriction functions x + 2y and 2x + y, are non-negative. Therefore we work in the classical set up of linear programming and maxima of f, g, h are reached on the boundary of the polygon defined by the restrictions. Checking the vertices (0, 3), (2, 2), (3, 0) of this polygon, we see that f, g, h reached maxima at (2, 2), (0, 3), and (3, 0), respectively, and the maximal values are f (2, 2) = 4, g(0, 3) = 9, and h(3, 0) = [Examination January 2016] Solve the system of simultaneous inequalities x 2 + y x y 2 0 The system has no solutions. That could be seen from sketching the solution sets of y x 2 1 (the set of points

52 52 in the plane over the parabola) and x y + 2 (the half-plane under the line). Alternatively, substituting x from the second inequality into the first one, one quickly gets the inequality y 2 3y + 3 0, which has no solution because the discriminant of the quadratic function involved is negative. 7. Compute (a) [0, 1] ]2, 3[ [0, 3[ (b) [ 1, 1] [2, 3] [ 3, 3] (c) ([1, 2] [2, 3]) + [3, 4] [5, 10]. 8. [Harder and non-compulsory question.] In this question, we consider only segments and interval with non-negative endpoints. Is multiplication of segments distributive in respect to addition of segments, that is, is true that for non-negative a, b, c, d, e, f [a, b] ([c, d] + [e, f ]) = ([a, b] [c, d]) + ([a, b] [e, f ])? Prove or provide a counterexample.

53 0N1 MATHEMATICS SOLUTIONS N1 Mathematics Solutions 11 Some of these problems were discussed in the lectures, but still worth looking. 1. Prove, by induction on n, that n < 2 n for every positive integer n. BASIS OF INDUCTION. 1 < 2 = 2 1, therefore the basis of induction holds. INDUCTIVE STEP. Assume that the statement is true for n = k, k < 2 k. Adding 1 to the both sides of this inequality, we get k + 1 < 2 k + 1 < 2 k + 2 k = 2 k Prove, by induction on n, that (2n 1) = n 2 for every positive integer n. Was explained in the lecture notes. 3. Prove, by induction on n, that n = 1 n(n + 1) 2 for every positive integer n. Let p n be the statement n = 1 n(n + 1). 2

54 54 Then p 1 is the statement 1 = This is clearly true. Suppose p n is true for n = k, i.e. Then k = 1 k(k + 1) k + (k + 1) = ( k) + (k + 1) Therefore = 1 k(k + 1) + (k + 1) 2 = 1 2 k(k + 1) + 1 2(k + 1) 2 = 1 (k + 1)(k + 2) k + (k + 1) = 1 2 (k + 1)((k + 1) + 1). 4. Prove, by induction on n, that if q 1 then 1 + q + q q n 1 + q n = 1 qn+1 1 q for every positive integer n. BASIS OF INDUCTION. When n = 1, is true. 1 + q = 1 q1+1 1 q = 1 q2 1 q = 1 + q INDUCTIVE STEP. Assume that the statement P(k) 1 + q + q q k 1 + q k = 1 qk+1 1 q is true. We need to prove P(k + 1) 1 + q + q q k 1 + q k + q }{{ k+1 } = 1 q(k+1)+1 1 q }{{}

55 0N1 MATHEMATICS SOLUTIONS Here, the brace }{{} under the line shows parts of the formula P(k +1) different from that of P(k). So let us try to get P(k +1) by adding q k+1 to the both sides of P(k): 1 + q + q q k 1 + q k + q k+1 }{{} = 1 qk+1 1 q + qk+1 }{{} thus proving P(k + 1). = 1 qk+1 + q k+1 (1 q) 1 q = 1 qk+1 + q k+1 q k+2 1 q = 1 q(k+1)+1, 1 q 5. Let x be any real number 1. Prove by induction that (1 + x) n 1 + nx, for all n 1. BASIS OF INDUCTION. When n = 1, (1 + x) 1 = 1 + x x is true. INDUCTIVE STEP. n = k, Then Assume that the statement is true for (1 + x) k 1 + kx. (1 + x) k+1 = (1 + x) k (1 + x) (1 + kx) (1 + x) = 1 + x + kx + kx 2 = 1 = (k + 1)x + kx (k + 1)x. 6. Recall that, for a positive integer n, n! = (n 1) n is the product of all integers from 1 to n, so that 1! = 1, 2! = 1 2 = 2,, 3! = 2 3 = 6, etc.

56 56 Prove by induction that, for all integers n 4, n! > 2 n. BASIS OF INDUCTION. When k = 4, 4! = = 24 > 16 = 2 4. INDUCTIVE STEP. If k! > 2 k, then multiplying both sides of inequality by k 1, we get k! (k + 1) > 2 k (k + 1) > 2 k 2 = 2 k Prove by induction on n that for each n 3, the angles of any n-gon in the plane have the sum equal to (n 2)π radians. HINT. Check that for a triangle (n = 3), then cut from an n-gone a triangle. The following problems are harder and not compulsory. 8. Prove that, for all integers n > 10, n 3 < 2 n. Let p k be the statement k 3 < 2 k BASIS OF INDUCTION. Please notice that the inequality is false if n 10, so the induction starts at the first true statement p 11, for k = 11, 11 3 = 1331 < 2048 = 2 11 ; that is true, and therefore p 11, the basis of induction, is true. INDUCTIVE STEP. Assume that the k 11 and that the statement p k, k 3 < 2 k, is true. we want to prove that is, that p k p k+1, (k + 1) 3 < 2 k+1

57 is a consequence of 0N1 MATHEMATICS SOLUTIONS k 3 < 2 k, for every k > 10. Now that p k is true, that k > 10, and compute: (k + 1) 3 = k 3 (k + 1)3 k ( 3 ) 3 k + 1 = k 3 k ( = k ) 3 k ( < k ) 3 10 (we used here that k > 10) = k 3 (1.1) 3 = k < k 3 2 < 2 k 2 (by p k k 3 < 2 k ) = 2 k+1. This proves p k+1, hence proves the inductive step p k p k+1 for k > 10. Hence all statements p k for k > 10 are true. 9. Let x be a real number such that x + 1 x is an integer. Prove by induction that then x n + 1 x n is an integer for all positive integers n. This problem is much harder than the previous problems. Denote z n = x n + 1 x n

58 58 BASIS OF INDUCTION. The case n = 1 is given as the assumption of the problem. It is also useful to check the statement in the case n = 0: z z 0 = = 2 is an integer. INDUCTIVE STEP. Assume that z l = x l + 1 x l is an integer for all l k. We want to prove that z k+1 is also an integer. Multiplying z k by z 1, we see that z k z 1 = (x k + 1x ) ( x + 1 ) k x is an integer. We can rearrange the expression on the RHS further: z k z 1 = (x k + 1x ) ( x + 1 ) k x So we get = x k x + x k 1 x + 1 x x + 1 k x 1 k x = x k+1 + x k x + 1 k 1 x k+1 = which means that ( x k x k+1 = z k+1 + z k 1. ) + z k z 1 = z k+1 + z k 1, z k+1 = z k z 1 z k 1. ( x k x k 1 Since z k 1 is an integer by the inductive assumption, we see that z k+1 is an integer. ) The principle of mathematical induction as we know it now was first published by the British mathematician Augustus De Morgan (the one of the De Morgan laws in Boolean Algebra) in 1838 in The Penny Cyclopedia of the Society for the Diffusion of Useful Knowledge. The

59 0N1 MATHEMATICS SOLUTIONS title of this encyclopedia clearly said that it was produced for the general public. You can find the text of De Morgan s original article at Fill in details in the last paragraph of De Morgan s article: There are cases in which the successive induction only brings any term within the general rule, when two, three, or more of the terms immediately preceding are brought within it. Thus, in the application of this method to the deduction of the well-known consequence of x + 1 x = 2 cos θ, namely, x n + 1 = 2 cos nθ, x n it can only be shown that any one case of this theorem is true, by showing that the preceding two cases are true: thus its truth, when n = 5 and n = 6, makes it necessarily follow when n = 7. In this case the two first instances must be established (when n = 1 by hypothesis, and when n = 2 by independent demonstration), which two establish the third, the second and third establish the fourth, and so on. 11. [The sudden examination paradox] 1 Friday afternoon, just before school lets out, a teacher promises his class that they will have a quiz on one of the five days of the coming week. Moreover, he guarantees the students that the quiz will be a surprise in that they won t be able to predict the night before that it will happen the next day. The class is dismayed until one of the students realizes that something fishy is going on. She reasons: The quiz can t be given on Friday, for sure, because that s the last possible day, so we would be able to predict it Thursday night. So Friday is out. That makes Thursday the last possible day the quiz can be given. But then the quiz also can t be given on Thursday, because Wednesday night we would know it was coming the next day! And in the same way we can eliminate Wednesday, Tuesday, and even Monday from the list of possible days for the quiz. 1 Adam Bjorndahl, Puzzles and Paradoxes in Mathematical Induction,

60 60 This argument is good enough to convince the rest of the class, who gleefully go about their business, content in the certainty that there can be no surprise quiz. Tuesday morning comes, however, and the teacher hands out a quiz sheet to each student. There are, of course, objections: You can t give this quiz! We already figured out that you couldn t make it a surprise no matter what day you gave it on! But the teacher is unperturbed. You figured that out, did you? Well, here s the quiz. Aren t you surprised? The students reluctantly agreed that they were. But where did their logic go awry? Students argument is self-referential, it refers to their way of arguing. [Self-referential statements and paradoxes generated by them had been discussed in the lectures.]

61 0N1 MATHEMATICS SOLUTIONS FIGURE 4. Graphical solutions to Question 9.3.

62 62 FIGURE 5. Graphical solutions to Question 9.4.

63 0N1 MATHEMATICS SOLUTIONS FIGURE 6. Graphical solutions to Question 10.4.

Before you get started, make sure you ve read Chapter 1, which sets the tone for the work we will begin doing here.

Before you get started, make sure you ve read Chapter 1, which sets the tone for the work we will begin doing here. Chapter 2 Mathematics and Logic Before you get started, make sure you ve read Chapter 1, which sets the tone for the work we will begin doing here. 2.1 A Taste of Number Theory In this section, we will

More information

Topics in Logic and Proofs

Topics in Logic and Proofs Chapter 2 Topics in Logic and Proofs Some mathematical statements carry a logical value of being true or false, while some do not. For example, the statement 4 + 5 = 9 is true, whereas the statement 2

More information

Introducing Proof 1. hsn.uk.net. Contents

Introducing Proof 1. hsn.uk.net. Contents Contents 1 1 Introduction 1 What is proof? 1 Statements, Definitions and Euler Diagrams 1 Statements 1 Definitions Our first proof Euler diagrams 4 3 Logical Connectives 5 Negation 6 Conjunction 7 Disjunction

More information

Lecture Notes on DISCRETE MATHEMATICS. Eusebius Doedel

Lecture Notes on DISCRETE MATHEMATICS. Eusebius Doedel Lecture Notes on DISCRETE MATHEMATICS Eusebius Doedel c Eusebius J. Doedel, 009 Contents Logic. Introduction............................................................................... Basic logical

More information

LECTURE NOTES DISCRETE MATHEMATICS. Eusebius Doedel

LECTURE NOTES DISCRETE MATHEMATICS. Eusebius Doedel LECTURE NOTES on DISCRETE MATHEMATICS Eusebius Doedel 1 LOGIC Introduction. First we introduce some basic concepts needed in our discussion of logic. These will be covered in more detail later. A set is

More information

Chapter 1 Review of Equations and Inequalities

Chapter 1 Review of Equations and Inequalities Chapter 1 Review of Equations and Inequalities Part I Review of Basic Equations Recall that an equation is an expression with an equal sign in the middle. Also recall that, if a question asks you to solve

More information

CM10196 Topic 2: Sets, Predicates, Boolean algebras

CM10196 Topic 2: Sets, Predicates, Boolean algebras CM10196 Topic 2: Sets, Predicates, oolean algebras Guy McCusker 1W2.1 Sets Most of the things mathematicians talk about are built out of sets. The idea of a set is a simple one: a set is just a collection

More information

Logic. Facts (with proofs) CHAPTER 1. Definitions

Logic. Facts (with proofs) CHAPTER 1. Definitions CHAPTER 1 Logic Definitions D1. Statements (propositions), compound statements. D2. Truth values for compound statements p q, p q, p q, p q. Truth tables. D3. Converse and contrapositive. D4. Tautologies

More information

Algebraic. techniques1

Algebraic. techniques1 techniques Algebraic An electrician, a bank worker, a plumber and so on all have tools of their trade. Without these tools, and a good working knowledge of how to use them, it would be impossible for them

More information

1 Predicates and Quantifiers

1 Predicates and Quantifiers 1 Predicates and Quantifiers We have seen how to represent properties of objects. For example, B(x) may represent that x is a student at Bryn Mawr College. Here B stands for is a student at Bryn Mawr College

More information

Logic and Propositional Calculus

Logic and Propositional Calculus CHAPTER 4 Logic and Propositional Calculus 4.1 INTRODUCTION Many algorithms and proofs use logical expressions such as: IF p THEN q or If p 1 AND p 2, THEN q 1 OR q 2 Therefore it is necessary to know

More information

LECTURE NOTES DISCRETE MATHEMATICS. Eusebius Doedel

LECTURE NOTES DISCRETE MATHEMATICS. Eusebius Doedel LECTURE NOTES on DISCRETE MATHEMATICS Eusebius Doedel 1 LOGIC Introduction. First we introduce some basic concepts needed in our discussion of logic. These will be covered in more detail later. A set is

More information

Predicate Logic: Sematics Part 1

Predicate Logic: Sematics Part 1 Predicate Logic: Sematics Part 1 CS402, Spring 2018 Shin Yoo Predicate Calculus Propositional logic is also called sentential logic, i.e. a logical system that deals with whole sentences connected with

More information

Basic Logic and Proof Techniques

Basic Logic and Proof Techniques Chapter 3 Basic Logic and Proof Techniques Now that we have introduced a number of mathematical objects to study and have a few proof techniques at our disposal, we pause to look a little more closely

More information

For all For every For each For any There exists at least one There exists There is Some

For all For every For each For any There exists at least one There exists There is Some Section 1.3 Predicates and Quantifiers Assume universe of discourse is all the people who are participating in this course. Also let us assume that we know each person in the course. Consider the following

More information

2/2/2018. CS 103 Discrete Structures. Chapter 1. Propositional Logic. Chapter 1.1. Propositional Logic

2/2/2018. CS 103 Discrete Structures. Chapter 1. Propositional Logic. Chapter 1.1. Propositional Logic CS 103 Discrete Structures Chapter 1 Propositional Logic Chapter 1.1 Propositional Logic 1 1.1 Propositional Logic Definition: A proposition :is a declarative sentence (that is, a sentence that declares

More information

Proofs. Chapter 2 P P Q Q

Proofs. Chapter 2 P P Q Q Chapter Proofs In this chapter we develop three methods for proving a statement. To start let s suppose the statement is of the form P Q or if P, then Q. Direct: This method typically starts with P. Then,

More information

Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes

Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes These notes form a brief summary of what has been covered during the lectures. All the definitions must be memorized and understood. Statements

More information

MTH 299 In Class and Recitation Problems SUMMER 2016

MTH 299 In Class and Recitation Problems SUMMER 2016 MTH 299 In Class and Recitation Problems SUMMER 2016 Last updated on: May 13, 2016 MTH299 - Examples CONTENTS Contents 1 Week 1 3 1.1 In Class Problems.......................................... 3 1.2 Recitation

More information

WUCT121. Discrete Mathematics. Logic. Tutorial Exercises

WUCT121. Discrete Mathematics. Logic. Tutorial Exercises WUCT11 Discrete Mathematics Logic Tutorial Exercises 1 Logic Predicate Logic 3 Proofs 4 Set Theory 5 Relations and Functions WUCT11 Logic Tutorial Exercises 1 Section 1: Logic Question1 For each of the

More information

Discrete Structures Homework 1

Discrete Structures Homework 1 Discrete Structures Homework 1 Due: June 15. Section 1.1 16 Determine whether these biconditionals are true or false. a) 2 + 2 = 4 if and only if 1 + 1 = 2 b) 1 + 1 = 2 if and only if 2 + 3 = 4 c) 1 +

More information

1.2 The Role of Variables

1.2 The Role of Variables 1.2 The Role of Variables variables sentences come in several flavors true false conditional In this section, a name is given to mathematical sentences that are sometimes true, sometimes false they are

More information

Math Precalculus I University of Hawai i at Mānoa Spring

Math Precalculus I University of Hawai i at Mānoa Spring Math 135 - Precalculus I University of Hawai i at Mānoa Spring - 2013 Created for Math 135, Spring 2008 by Lukasz Grabarek and Michael Joyce Send comments and corrections to lukasz@math.hawaii.edu Contents

More information

Question 1 (a). Explain different logical connectives with the help of examples. Ans: Logical Connectivity:-

Question 1 (a). Explain different logical connectives with the help of examples. Ans: Logical Connectivity:- Course Code : MCS-013 Course Title : Discrete Mathematics Assignment Number : MCA(1)/013/Assignment/17-18 Maximum Marks : 100 Weightage : 25% Last Dates for Submission : 15th October, 2017 (For July 2017

More information

Chapter 1: The Logic of Compound Statements. January 7, 2008

Chapter 1: The Logic of Compound Statements. January 7, 2008 Chapter 1: The Logic of Compound Statements January 7, 2008 Outline 1 1.1 Logical Form and Logical Equivalence 2 1.2 Conditional Statements 3 1.3 Valid and Invalid Arguments Central notion of deductive

More information

5.1 Increasing and Decreasing Functions. A function f is decreasing on an interval I if and only if: for all x 1, x 2 I, x 1 < x 2 = f(x 1 ) > f(x 2 )

5.1 Increasing and Decreasing Functions. A function f is decreasing on an interval I if and only if: for all x 1, x 2 I, x 1 < x 2 = f(x 1 ) > f(x 2 ) 5.1 Increasing and Decreasing Functions increasing and decreasing functions; roughly DEFINITION increasing and decreasing functions Roughly, a function f is increasing if its graph moves UP, traveling

More information

MAT2345 Discrete Math

MAT2345 Discrete Math Fall 2013 General Syllabus Schedule (note exam dates) Homework, Worksheets, Quizzes, and possibly Programs & Reports Academic Integrity Do Your Own Work Course Web Site: www.eiu.edu/~mathcs Course Overview

More information

STRATEGIES OF PROBLEM SOLVING

STRATEGIES OF PROBLEM SOLVING STRATEGIES OF PROBLEM SOLVING Second Edition Maria Nogin Department of Mathematics College of Science and Mathematics California State University, Fresno 2014 2 Chapter 1 Introduction Solving mathematical

More information

Logical Reasoning. Chapter Statements and Logical Operators

Logical Reasoning. Chapter Statements and Logical Operators Chapter 2 Logical Reasoning 2.1 Statements and Logical Operators Preview Activity 1 (Compound Statements) Mathematicians often develop ways to construct new mathematical objects from existing mathematical

More information

About This Document. MTH299 - Examples Weeks 1-6; updated on January 5, 2018

About This Document. MTH299 - Examples Weeks 1-6; updated on January 5, 2018 About This Document This is the examples document for MTH 299. Basically it is a loosely organized universe of questions (examples) that we think are interesting, helpful, useful for practice, and serve

More information

Proof Techniques (Review of Math 271)

Proof Techniques (Review of Math 271) Chapter 2 Proof Techniques (Review of Math 271) 2.1 Overview This chapter reviews proof techniques that were probably introduced in Math 271 and that may also have been used in a different way in Phil

More information

Handout on Logic, Axiomatic Methods, and Proofs MATH Spring David C. Royster UNC Charlotte

Handout on Logic, Axiomatic Methods, and Proofs MATH Spring David C. Royster UNC Charlotte Handout on Logic, Axiomatic Methods, and Proofs MATH 3181 001 Spring 1999 David C. Royster UNC Charlotte January 18, 1999 Chapter 1 Logic and the Axiomatic Method 1.1 Introduction Mathematicians use a

More information

Mathematical Preliminaries. Sipser pages 1-28

Mathematical Preliminaries. Sipser pages 1-28 Mathematical Preliminaries Sipser pages 1-28 Mathematical Preliminaries This course is about the fundamental capabilities and limitations of computers. It has 3 parts 1. Automata Models of computation

More information

Logic, Sets, and Proofs

Logic, Sets, and Proofs Logic, Sets, and Proofs David A. Cox and Catherine C. McGeoch Amherst College 1 Logic Logical Operators. A logical statement is a mathematical statement that can be assigned a value either true or false.

More information

Section 1.1 Propositions

Section 1.1 Propositions Set Theory & Logic Section 1.1 Propositions Fall, 2009 Section 1.1 Propositions In Chapter 1, our main goals are to prove sentences about numbers, equations or functions and to write the proofs. Definition.

More information

Formal Logic: Quantifiers, Predicates, and Validity. CS 130 Discrete Structures

Formal Logic: Quantifiers, Predicates, and Validity. CS 130 Discrete Structures Formal Logic: Quantifiers, Predicates, and Validity CS 130 Discrete Structures Variables and Statements Variables: A variable is a symbol that stands for an individual in a collection or set. For example,

More information

1.1 Statements and Compound Statements

1.1 Statements and Compound Statements Chapter 1 Propositional Logic 1.1 Statements and Compound Statements A statement or proposition is an assertion which is either true or false, though you may not know which. That is, a statement is something

More information

A Guide to Proof-Writing

A Guide to Proof-Writing A Guide to Proof-Writing 437 A Guide to Proof-Writing by Ron Morash, University of Michigan Dearborn Toward the end of Section 1.5, the text states that there is no algorithm for proving theorems.... Such

More information

Twitter: @Owen134866 www.mathsfreeresourcelibrary.com Prior Knowledge Check 1) Simplify: a) 3x 2 5x 5 b) 5x3 y 2 15x 7 2) Factorise: a) x 2 2x 24 b) 3x 2 17x + 20 15x 2 y 3 3) Use long division to calculate:

More information

Proofs. Chapter 2 P P Q Q

Proofs. Chapter 2 P P Q Q Chapter Proofs In this chapter we develop three methods for proving a statement. To start let s suppose the statement is of the form P Q or if P, then Q. Direct: This method typically starts with P. Then,

More information

Lecture Notes 1 Basic Concepts of Mathematics MATH 352

Lecture Notes 1 Basic Concepts of Mathematics MATH 352 Lecture Notes 1 Basic Concepts of Mathematics MATH 352 Ivan Avramidi New Mexico Institute of Mining and Technology Socorro, NM 87801 June 3, 2004 Author: Ivan Avramidi; File: absmath.tex; Date: June 11,

More information

Math Precalculus I University of Hawai i at Mānoa Spring

Math Precalculus I University of Hawai i at Mānoa Spring Math 135 - Precalculus I University of Hawai i at Mānoa Spring - 2014 Created for Math 135, Spring 2008 by Lukasz Grabarek and Michael Joyce Send comments and corrections to lukasz@math.hawaii.edu Contents

More information

Mathematics 1 Lecture Notes Chapter 1 Algebra Review

Mathematics 1 Lecture Notes Chapter 1 Algebra Review Mathematics 1 Lecture Notes Chapter 1 Algebra Review c Trinity College 1 A note to the students from the lecturer: This course will be moving rather quickly, and it will be in your own best interests to

More information

Predicates, Quantifiers and Nested Quantifiers

Predicates, Quantifiers and Nested Quantifiers Predicates, Quantifiers and Nested Quantifiers Predicates Recall the example of a non-proposition in our first presentation: 2x=1. Let us call this expression P(x). P(x) is not a proposition because x

More information

What can you prove by induction?

What can you prove by induction? MEI CONFERENCE 013 What can you prove by induction? Martyn Parker M.J.Parker@keele.ac.uk Contents Contents iii 1 Splitting Coins.................................................. 1 Convex Polygons................................................

More information

First order Logic ( Predicate Logic) and Methods of Proof

First order Logic ( Predicate Logic) and Methods of Proof First order Logic ( Predicate Logic) and Methods of Proof 1 Outline Introduction Terminology: Propositional functions; arguments; arity; universe of discourse Quantifiers Definition; using, mixing, negating

More information

Exercise Set 1 Solutions Math 2020 Due: January 30, Find the truth tables of each of the following compound statements.

Exercise Set 1 Solutions Math 2020 Due: January 30, Find the truth tables of each of the following compound statements. 1. Find the truth tables of each of the following compound statements. (a) ( (p q)) (p q), p q p q (p q) q p q ( (p q)) (p q) 0 0 0 1 1 1 1 0 1 0 1 0 0 0 1 0 0 1 1 1 1 1 1 1 0 0 1 0 (b) [p ( p q)] [( (p

More information

3. Only sequences that were formed by using finitely many applications of rules 1 and 2, are propositional formulas.

3. Only sequences that were formed by using finitely many applications of rules 1 and 2, are propositional formulas. 1 Chapter 1 Propositional Logic Mathematical logic studies correct thinking, correct deductions of statements from other statements. Let us make it more precise. A fundamental property of a statement is

More information

CS 250/251 Discrete Structures I and II Section 005 Fall/Winter Professor York

CS 250/251 Discrete Structures I and II Section 005 Fall/Winter Professor York CS 250/251 Discrete Structures I and II Section 005 Fall/Winter 2013-2014 Professor York Practice Quiz March 10, 2014 CALCULATORS ALLOWED, SHOW ALL YOUR WORK 1. Construct the power set of the set A = {1,2,3}

More information

SCHOOL OF MATHEMATICS MATHEMATICS FOR PART I ENGINEERING. Self-paced Course

SCHOOL OF MATHEMATICS MATHEMATICS FOR PART I ENGINEERING. Self-paced Course SCHOOL OF MATHEMATICS MATHEMATICS FOR PART I ENGINEERING Self-paced Course MODULE ALGEBRA Module Topics Simplifying expressions and algebraic functions Rearranging formulae Indices 4 Rationalising a denominator

More information

Packet #2: Set Theory & Predicate Calculus. Applied Discrete Mathematics

Packet #2: Set Theory & Predicate Calculus. Applied Discrete Mathematics CSC 224/226 Notes Packet #2: Set Theory & Predicate Calculus Barnes Packet #2: Set Theory & Predicate Calculus Applied Discrete Mathematics Table of Contents Full Adder Information Page 1 Predicate Calculus

More information

Preparing for the CS 173 (A) Fall 2018 Midterm 1

Preparing for the CS 173 (A) Fall 2018 Midterm 1 Preparing for the CS 173 (A) Fall 2018 Midterm 1 1 Basic information Midterm 1 is scheduled from 7:15-8:30 PM. We recommend you arrive early so that you can start exactly at 7:15. Exams will be collected

More information

Math 10850, fall 2017, University of Notre Dame

Math 10850, fall 2017, University of Notre Dame Math 10850, fall 2017, University of Notre Dame Notes on first exam September 22, 2017 The key facts The first midterm will be on Thursday, September 28, 6.15pm-7.45pm in Hayes-Healy 127. What you need

More information

Proving logical equivalencies (1.3)

Proving logical equivalencies (1.3) EECS 203 Spring 2016 Lecture 2 Page 1 of 6 Proving logical equivalencies (1.3) One thing we d like to do is prove that two logical statements are the same, or prove that they aren t. Vocabulary time In

More information

MATH 341, Section 001 FALL 2014 Introduction to the Language and Practice of Mathematics

MATH 341, Section 001 FALL 2014 Introduction to the Language and Practice of Mathematics MATH 341, Section 001 FALL 2014 Introduction to the Language and Practice of Mathematics Class Meetings: MW 9:30-10:45 am in EMS E424A, September 3 to December 10 [Thanksgiving break November 26 30; final

More information

ECOM Discrete Mathematics

ECOM Discrete Mathematics ECOM 2311- Discrete Mathematics Chapter # 1 : The Foundations: Logic and Proofs Fall, 2013/2014 ECOM 2311- Discrete Mathematics - Ch.1 Dr. Musbah Shaat 1 / 85 Outline 1 Propositional Logic 2 Propositional

More information

Tools for reasoning: Logic. Ch. 1: Introduction to Propositional Logic Truth values, truth tables Boolean logic: Implications:

Tools for reasoning: Logic. Ch. 1: Introduction to Propositional Logic Truth values, truth tables Boolean logic: Implications: Tools for reasoning: Logic Ch. 1: Introduction to Propositional Logic Truth values, truth tables Boolean logic: Implications: 1 Why study propositional logic? A formal mathematical language for precise

More information

1.4 Mathematical Equivalence

1.4 Mathematical Equivalence 1.4 Mathematical Equivalence Introduction a motivating example sentences that always have the same truth values can be used interchangeably the implied domain of a sentence In this section, the idea of

More information

Theorem. For every positive integer n, the sum of the positive integers from 1 to n is n(n+1)

Theorem. For every positive integer n, the sum of the positive integers from 1 to n is n(n+1) Week 1: Logic Lecture 1, 8/1 (Sections 1.1 and 1.3) Examples of theorems and proofs Theorem (Pythagoras). Let ABC be a right triangle, with legs of lengths a and b, and hypotenuse of length c. Then a +

More information

Proof. Theorems. Theorems. Example. Example. Example. Part 4. The Big Bang Theory

Proof. Theorems. Theorems. Example. Example. Example. Part 4. The Big Bang Theory Proof Theorems Part 4 The Big Bang Theory Theorems A theorem is a statement we intend to prove using existing known facts (called axioms or lemmas) Used extensively in all mathematical proofs which should

More information

Propositional Logic. Fall () Propositional Logic Fall / 30

Propositional Logic. Fall () Propositional Logic Fall / 30 Propositional Logic Fall 2013 () Propositional Logic Fall 2013 1 / 30 1 Introduction Learning Outcomes for this Presentation 2 Definitions Statements Logical connectives Interpretations, contexts,... Logically

More information

Discrete Mathematical Structures: Theory and Applications

Discrete Mathematical Structures: Theory and Applications Chapter 1: Foundations: Sets, Logic, and Algorithms Discrete Mathematical Structures: Theory and Applications Learning Objectives Learn about sets Explore various operations on sets Become familiar with

More information

1.1 Language and Logic

1.1 Language and Logic c Oksana Shatalov, Spring 2018 1 1.1 Language and Logic Mathematical Statements DEFINITION 1. A proposition is any declarative sentence (i.e. it has both a subject and a verb) that is either true or false,

More information

3 The language of proof

3 The language of proof 3 The language of proof After working through this section, you should be able to: (a) understand what is asserted by various types of mathematical statements, in particular implications and equivalences;

More information

Math 13, Spring 2013, Lecture B: Midterm

Math 13, Spring 2013, Lecture B: Midterm Math 13, Spring 2013, Lecture B: Midterm Name Signature UCI ID # E-mail address Each numbered problem is worth 12 points, for a total of 84 points. Present your work, especially proofs, as clearly as possible.

More information

A n = A N = [ N, N] A n = A 1 = [ 1, 1]. n=1

A n = A N = [ N, N] A n = A 1 = [ 1, 1]. n=1 Math 235: Assignment 1 Solutions 1.1: For n N not zero, let A n = [ n, n] (The closed interval in R containing all real numbers x satisfying n x n). It is easy to see that we have the chain of inclusion

More information

Lecture 2. Logic Compound Statements Conditional Statements Valid & Invalid Arguments Digital Logic Circuits. Reading (Epp s textbook)

Lecture 2. Logic Compound Statements Conditional Statements Valid & Invalid Arguments Digital Logic Circuits. Reading (Epp s textbook) Lecture 2 Logic Compound Statements Conditional Statements Valid & Invalid Arguments Digital Logic Circuits Reading (Epp s textbook) 2.1-2.4 1 Logic Logic is a system based on statements. A statement (or

More information

1 Implication and induction

1 Implication and induction 1 Implication and induction This chapter is about various kinds of argument which are used in mathematical proofs. When you have completed it, you should know what is meant by implication and equivalence,

More information

LOGIC CONNECTIVES. Students who have an ACT score of at least 30 OR a GPA of at least 3.5 can receive a college scholarship.

LOGIC CONNECTIVES. Students who have an ACT score of at least 30 OR a GPA of at least 3.5 can receive a college scholarship. LOGIC In mathematical and everyday English language, we frequently use logic to express our thoughts verbally and in writing. We also use logic in numerous other areas such as computer coding, probability,

More information

Math 31 Lesson Plan. Day 2: Sets; Binary Operations. Elizabeth Gillaspy. September 23, 2011

Math 31 Lesson Plan. Day 2: Sets; Binary Operations. Elizabeth Gillaspy. September 23, 2011 Math 31 Lesson Plan Day 2: Sets; Binary Operations Elizabeth Gillaspy September 23, 2011 Supplies needed: 30 worksheets. Scratch paper? Sign in sheet Goals for myself: Tell them what you re going to tell

More information

2-1. Inductive Reasoning and Conjecture. Lesson 2-1. What You ll Learn. Active Vocabulary

2-1. Inductive Reasoning and Conjecture. Lesson 2-1. What You ll Learn. Active Vocabulary 2-1 Inductive Reasoning and Conjecture What You ll Learn Scan Lesson 2-1. List two headings you would use to make an outline of this lesson. 1. Active Vocabulary 2. New Vocabulary Fill in each blank with

More information

Examples: P: it is not the case that P. P Q: P or Q P Q: P implies Q (if P then Q) Typical formula:

Examples: P: it is not the case that P. P Q: P or Q P Q: P implies Q (if P then Q) Typical formula: Logic: The Big Picture Logic is a tool for formalizing reasoning. There are lots of different logics: probabilistic logic: for reasoning about probability temporal logic: for reasoning about time (and

More information

Mathematics 114L Spring 2018 D.A. Martin. Mathematical Logic

Mathematics 114L Spring 2018 D.A. Martin. Mathematical Logic Mathematics 114L Spring 2018 D.A. Martin Mathematical Logic 1 First-Order Languages. Symbols. All first-order languages we consider will have the following symbols: (i) variables v 1, v 2, v 3,... ; (ii)

More information

PUTNAM TRAINING POLYNOMIALS. Exercises 1. Find a polynomial with integral coefficients whose zeros include

PUTNAM TRAINING POLYNOMIALS. Exercises 1. Find a polynomial with integral coefficients whose zeros include PUTNAM TRAINING POLYNOMIALS (Last updated: December 11, 2017) Remark. This is a list of exercises on polynomials. Miguel A. Lerma Exercises 1. Find a polynomial with integral coefficients whose zeros include

More information

Mathmatics 239 solutions to Homework for Chapter 2

Mathmatics 239 solutions to Homework for Chapter 2 Mathmatics 239 solutions to Homework for Chapter 2 Old version of 8.5 My compact disc player has space for 5 CDs; there are five trays numbered 1 through 5 into which I load the CDs. I own 100 CDs. a)

More information

Discrete Mathematics and Probability Theory Spring 2014 Anant Sahai Note 1

Discrete Mathematics and Probability Theory Spring 2014 Anant Sahai Note 1 EECS 70 Discrete Mathematics and Probability Theory Spring 2014 Anant Sahai Note 1 Getting Started In order to be fluent in mathematical statements, you need to understand the basic framework of the language

More information

Discrete Mathematics and Probability Theory Fall 2012 Vazirani Note 1

Discrete Mathematics and Probability Theory Fall 2012 Vazirani Note 1 CS 70 Discrete Mathematics and Probability Theory Fall 2012 Vazirani Note 1 Course Outline CS70 is a course on "Discrete Mathematics and Probability for Computer Scientists." The purpose of the course

More information

Math 38: Graph Theory Spring 2004 Dartmouth College. On Writing Proofs. 1 Introduction. 2 Finding A Solution

Math 38: Graph Theory Spring 2004 Dartmouth College. On Writing Proofs. 1 Introduction. 2 Finding A Solution Math 38: Graph Theory Spring 2004 Dartmouth College 1 Introduction On Writing Proofs What constitutes a well-written proof? A simple but rather vague answer is that a well-written proof is both clear and

More information

Logic Overview, I. and T T T T F F F T F F F F

Logic Overview, I. and T T T T F F F T F F F F Logic Overview, I DEFINITIONS A statement (proposition) is a declarative sentence that can be assigned a truth value T or F, but not both. Statements are denoted by letters p, q, r, s,... The 5 basic logical

More information

irst we need to know that there are many ways to indicate multiplication; for example the product of 5 and 7 can be written in a variety of ways:

irst we need to know that there are many ways to indicate multiplication; for example the product of 5 and 7 can be written in a variety of ways: CH 2 VARIABLES INTRODUCTION F irst we need to know that there are many ways to indicate multiplication; for example the product of 5 and 7 can be written in a variety of ways: 5 7 5 7 5(7) (5)7 (5)(7)

More information

Factorisation CHAPTER Introduction

Factorisation CHAPTER Introduction FACTORISATION 217 Factorisation CHAPTER 14 14.1 Introduction 14.1.1 Factors of natural numbers You will remember what you learnt about factors in Class VI. Let us take a natural number, say 30, and write

More information

MATH10040: Chapter 0 Mathematics, Logic and Reasoning

MATH10040: Chapter 0 Mathematics, Logic and Reasoning MATH10040: Chapter 0 Mathematics, Logic and Reasoning 1. What is Mathematics? There is no definitive answer to this question. 1 Indeed, the answer given by a 21st-century mathematician would differ greatly

More information

Math 3336: Discrete Mathematics Practice Problems for Exam I

Math 3336: Discrete Mathematics Practice Problems for Exam I Math 3336: Discrete Mathematics Practice Problems for Exam I The upcoming exam on Tuesday, February 26, will cover the material in Chapter 1 and Chapter 2*. You will be provided with a sheet containing

More information

Discrete Mathematics and Probability Theory Fall 2013 Vazirani Note 1

Discrete Mathematics and Probability Theory Fall 2013 Vazirani Note 1 CS 70 Discrete Mathematics and Probability Theory Fall 013 Vazirani Note 1 Induction Induction is a basic, powerful and widely used proof technique. It is one of the most common techniques for analyzing

More information

Logic and Proofs. (A brief summary)

Logic and Proofs. (A brief summary) Logic and Proofs (A brief summary) Why Study Logic: To learn to prove claims/statements rigorously To be able to judge better the soundness and consistency of (others ) arguments To gain the foundations

More information

Chapter 2: The Logic of Quantified Statements. January 22, 2010

Chapter 2: The Logic of Quantified Statements. January 22, 2010 Chapter 2: The Logic of Quantified Statements January 22, 2010 Outline 1 2.1- Introduction to Predicates and Quantified Statements I 2 2.2 - Introduction to Predicates and Quantified Statements II 3 2.3

More information

Discrete Structures for Computer Science

Discrete Structures for Computer Science Discrete Structures for Computer Science William Garrison bill@cs.pitt.edu 6311 Sennott Square Lecture #4: Predicates and Quantifiers Based on materials developed by Dr. Adam Lee Topics n Predicates n

More information

Deductive reasoning is the process of reasoning from accepted facts to a conclusion. if a = b and c = d, c 0, then a/c = b/d

Deductive reasoning is the process of reasoning from accepted facts to a conclusion. if a = b and c = d, c 0, then a/c = b/d Chapter 2 Reasoning Suppose you know the following two statements are true. 1. Every board member read their back-up material 2. Tom is a board member You can conclude: 3. Tom read his back-up material.

More information

Chapter 1 Elementary Logic

Chapter 1 Elementary Logic 2017-2018 Chapter 1 Elementary Logic The study of logic is the study of the principles and methods used in distinguishing valid arguments from those that are not valid. The aim of this chapter is to help

More information

Math Fundamentals of Higher Math

Math Fundamentals of Higher Math Lecture 9-1/29/2014 Math 3345 ematics Ohio State University January 29, 2014 Course Info Instructor - webpage https://people.math.osu.edu/broaddus.9/3345 office hours Mondays and Wednesdays 10:10am-11am

More information

1 Propositional Logic

1 Propositional Logic 1 Propositional Logic Required reading: Foundations of Computation. Sections 1.1 and 1.2. 1. Introduction to Logic a. Logical consequences. If you know all humans are mortal, and you know that you are

More information

Review CHAPTER. 2.1 Definitions in Chapter Sample Exam Questions. 2.1 Set; Element; Member; Universal Set Partition. 2.

Review CHAPTER. 2.1 Definitions in Chapter Sample Exam Questions. 2.1 Set; Element; Member; Universal Set Partition. 2. CHAPTER 2 Review 2.1 Definitions in Chapter 2 2.1 Set; Element; Member; Universal Set 2.2 Subset 2.3 Proper Subset 2.4 The Empty Set, 2.5 Set Equality 2.6 Cardinality; Infinite Set 2.7 Complement 2.8 Intersection

More information

CS70 is a course about on Discrete Mathematics for Computer Scientists. The purpose of the course is to teach you about:

CS70 is a course about on Discrete Mathematics for Computer Scientists. The purpose of the course is to teach you about: CS 70 Discrete Mathematics for CS Fall 2006 Papadimitriou & Vazirani Lecture 1 Course Outline CS70 is a course about on Discrete Mathematics for Computer Scientists. The purpose of the course is to teach

More information

CONTENTS. iii v viii FOREWORD PREFACE STUDENTS EVALUATION IN MATHEMATICS AT SECONDARY STAGE

CONTENTS. iii v viii FOREWORD PREFACE STUDENTS EVALUATION IN MATHEMATICS AT SECONDARY STAGE CONTENTS FOREWORD PREFACE STUDENTS EVALUATION IN MATHEMATICS AT SECONDARY STAGE iii v viii CHAPTER Real Numbers CHAPTER Polynomials 8 CHAPTER 3 Pair of Linear Equations in Two Variables 6 CHAPTER 4 Quadratic

More information

Section 2-1. Chapter 2. Make Conjectures. Example 1. Reasoning and Proof. Inductive Reasoning and Conjecture

Section 2-1. Chapter 2. Make Conjectures. Example 1. Reasoning and Proof. Inductive Reasoning and Conjecture Chapter 2 Reasoning and Proof Section 2-1 Inductive Reasoning and Conjecture Make Conjectures Inductive reasoning - reasoning that uses a number of specific examples to arrive at a conclusion Conjecture

More information

Exercises 1 - Solutions

Exercises 1 - Solutions Exercises 1 - Solutions SAV 2013 1 PL validity For each of the following propositional logic formulae determine whether it is valid or not. If it is valid prove it, otherwise give a counterexample. Note

More information

Quadratics. SPTA Mathematics Higher Notes

Quadratics. SPTA Mathematics Higher Notes H Quadratics SPTA Mathematics Higher Notes Quadratics are expressions with degree 2 and are of the form ax 2 + bx + c, where a 0. The Graph of a Quadratic is called a Parabola, and there are 2 types as

More information

Chapter Five Notes N P U2C5

Chapter Five Notes N P U2C5 Chapter Five Notes N P UC5 Name Period Section 5.: Linear and Quadratic Functions with Modeling In every math class you have had since algebra you have worked with equations. Most of those equations have

More information

Discrete Mathematics and Its Applications

Discrete Mathematics and Its Applications Discrete Mathematics and Its Applications Lecture 1: The Foundations: Logic and Proofs (1.3-1.5) MING GAO DASE @ ECNU (for course related communications) mgao@dase.ecnu.edu.cn Sep. 19, 2017 Outline 1 Logical

More information

Section 1.3. Let I be a set. When I is used in the following context,

Section 1.3. Let I be a set. When I is used in the following context, Section 1.3. Let I be a set. When I is used in the following context, {B i } i I, we call I the index set. The set {B i } i I is the family of sets of the form B i where i I. One could also use set builder

More information