UNIT Lo: Multiple Choice Questions Lectures in Discrete Mathematics, Course 1, Bender/Williamson,

Review Questions

Multiple Choice Questions for Review

In each case there is one correct answer (given at the end of the problem set). Try to work the problem rst without looking at the answer. Understand both why the correct answer is correct and why the other answers are wrong. 1. Consider the statement form p q where p =If Tom is Janes father then Jane is Bills niece and q =Bill is Toms brother. Which of the following statements is equivalent to this statement? (a) If Bill is Toms Brother, then Tom is Janes father and Jane is not Bills niece. (b) If Bill is not Toms Brother, then Tom is Janes father and Jane is not Bills niece. (c) If Bill is not Toms Brother, then Tom is Janes father or Jane is Bills niece. (d) If Bill is Toms Brother, then Tom is Janes father and Jane is Bills niece. (e) If Bill is not Toms Brother, then Tom is not Janes father and Jane is Bills niece. 2. Consider the statement, If n is divisible by 30 then n is divisible by 2 and by 3 and by 5. Which of the following statements is equivalent to this statement? (a) If n is not divisible by 30 then n is divisible by 2 or divisible by 3 or divisible by 5. (b) If n is not divisible by 30 then n is not divisible by 2 or not divisible by 3 or not divisible by 5. (c) If n is divisible by 2 and divisible by 3 and divisible by 5 then n is divisible by 30. (d) If n is not divisible by 2 or not divisible by 3 or not divisible by 5 then n is not divisible by 30. (e) If n is divisible by 2 or divisible by 3 or divisible by 5 then n is divisible by 30. 3. Which of the following statements is the contrapositive of the statement, You win the game if you know the rules but are not overcondent. (a) If you lose the game then you dont know the rules or you are overcondent. (b) A sucient condition that you win the game is that you know the rules or you are not overcondent. (c) If you dont know the rules or are overcondent you lose the game. (d) If you know the rules and are overcondent then you win the game. (e) A necessary condition that you know the rules or you are not overcondent is that you win the game. 4. The statement form (p r ) (q r ) is equivalent to (a) [(p r ) (p r )] [(q r ) (q r )] (b) [(p r ) (p r )] [(q r ) (q r )] (c) [(p r ) (p r )] [(q r ) (q r )] (d) [(p r ) (p r )] [(q r ) (q r )] Lo-23

Logic (e) [(p r ) (p r )] [(q r ) (q r )] 5. Consider the statement, Given that people who are in need of refuge and consolation are apt to do odd things, it is clear that people who are apt to do odd things are in need of refuge and consolation. This statement, of the form (P Q) (Q P ), is logically equivalent to (a) People who are in need of refuge and consolation are not apt to do odd things. (b) People are apt to do odd things if and only if they are in need of refuge and consolation. (c) People who are apt to do odd things are in need of refuge and consolation. (d) People who are in need of refuge and consolation are apt to do odd things. (e) People who arent apt to do odd things are not in need of refuge and consolation. 6. A sucient condition that a triangle T be a right triangle is that a2 + b2 = c2 . An equivalent statement is (a) If T is a right triangle then a2 + b2 = c2 . (b) If a2 + b2 = c2 then T is a right triangle. (c) If a2 + b2 = c2 then T is not a right triangle. (d) T is a right triangle only if a2 + b2 = c2 . (e) T is a right triangle unless a2 + b2 = c2 . 7. Which of the following statements is NOT equivalent to the statement, There exists either a computer scientist or a mathematician who knows both discrete math and Java. (a) There exists a person who is a computer scientist and who knows both discrete math and Java or there exists a person who is a mathematician and who knows both discrete math and Java. (b) There exists a person who is a computer scientist or there exists a person who is a mathematician who knows discrete math or who knows Java. (c) There exists a person who is a computer scientist and who knows both discrete math and Java or there exists a mathematician who knows both discrete math and Java. (d) There exists a computer scientist who knows both discrete math and Java or there exists a person who is a mathematician who knows both discrete math and Java. (e) There exists a person who is a computer scientist or a mathematician who knows both discrete math and Java. 8. Which of the following is the negation of the statement, For all odd primes p < q there exists positive non-primes r < s such that p2 + q 2 = r 2 + s2 . (a) For all odd primes p < q there exists positive non-primes r < s such that p2 + q 2 = r 2 + s2 . (b) There exists odd primes p < q such that for all positive non-primes r < s, p2 + q 2 = r 2 + s2 . Lo-24

Review Questions (c) There exists odd primes p < q such that for all positive non-primes r < s, p2 + q 2 = r 2 + s2 . (d) For all odd primes p < q and for all positive non-primes r < s, p2 + q 2 = r 2 + s2 . (e) There exists odd primes p < q and there exists positive non-primes r < s such that p2 + q 2 = r 2 + s2 9. Consider the following assertion: The two statements (1) x D, (P (x) Q(x)) and (2) (x D, P (x)) (x D, Q(x)) have the same truth value. Which of the following is correct? (a) This assertion is false. A counterexample is D = N, P (x) = x is divisible by 6, Q(x) = x is divisible by 3. (b) This assertion is true. The proof follows from the distributive law for . (c) This assertion is false. A counterexample is D = Z, P (x) = x < 0, Q(x) = x 0. (d) This assertion is true. To see why, let D = N, P (x) = x is divisible by 6, Q(x) = x is divisible by 3. If x = 6, then x is divisible by both 3 and 6 so both statements in the assertion have the same truth value for this x. (e) This assertion is false. A counterexample is D = N, P (x) = x is a square, Q(x) = x is odd. 10. Which of the following is an unsolved conjecture? /P (a) n N, 22 + 1 (b) K N, n K, n odd, p, q, r P, n = p + q + r (c) ( x, y, z, n N+ , xn + y n = z n ) (n = 1, 2) (d) m N , n m, n even, p, q P, n = p + q (e) m N , n m, n P and n + 2 P 11. Which of the following is a solved conjecture? (a) m N , n m, n odd, p, q P, n = p + q (b) m N , n m, n P and n + 2 P (c) m N , n m, 22 + 1 P (d) k N , p P, p k , 2p 1 P (e) n 4, n even , p, q P, n = p + q
n n

Answers: 1 (b), 2 (d), 3 (a), 4 (e), 5 (c), 6 (b), 7 (b), 8 (c), 9 (c), 10 (e), 11 (a).

Lo-25

Notation Index
Logic notation (for some) Lo-13 (for all) Lo-12 (not) Lo-2 (and) Lo-2 (if and only if) Lo-6 (or) Lo-2 (if . . . then) Lo-5 N (Natural numbers) Lo-13 P (Prime numbers) Lo-13 R (Real numbers) Lo-13 Sets of numbers N (Natural numbers) Lo-13 P (Prime numbers) Lo-13 R (Real numbers) Lo-13 Z (Integers) Lo-13 Z (Integers) Lo-13

Index-1

Index

Subject Index
Absorption rule Lo-3 Existential quantier () Lo-13

Algebraic rules for predicate logic Lo-19 statement forms Lo-3 Associative rule Lo-3

Fermat number Lo-16 Fermats Last Theorem Lo-18 For all (logic: ) Lo-12 For some (logic: ) Lo-13

Biconditional (= if and only if) Lo-6 Bound rule Lo-3

Goldbachs conjecture Lo-13 Lo-3

Commutative rule

Idempotent rule Lo-3 If . . . then Lo-5 If and only if (logic) Lo-7 Implication Lo-5 Inverse Lo-6

Composite number Lo-13 Conditional (= if . . . then) Lo-5 Conjecture Goldbachs Lo-13 Twin Prime Lo-16 Contradiction Lo-2 Contrapositive Lo-6 Converse Lo-6

Logic predicate Lo-12 propositional Lo-1

DeMorgans rule Distributive rule

Lo-3 Lo-3 Mersenne number Lo-17

Double implication (= if and only if) Lo-6 Double negation rule Lo-3 Necessary (logic) Lo-7 Negation rule English to logic for all Lo-12 for some Lo-13 if and only if Lo-7 method for implication Lo-8 necessary Lo-7 only if Lo-7 requires Lo-8 sucient Lo-7 there exists Lo-13 unless Lo-8 Lo-3 Number composite Lo-13 Fermat: Fn Lo-16 integer: Z Lo-13 Mersenne: Mp Lo-17 natural: N Lo-13 perfect Lo-17 prime Lo-13 prime: P Lo-13 real: R Lo-13

Index-3

Index Number theory elementary Lo-13 There exists (logic: ) Truth table Lo-2 Only if (logic) Lo-7 Twin Prime conjecture Lo-16 Lo-13

Truth set (predicate logic) Lo-12

Perfect number Lo-17 Predicate logic algebraic rules Lo-19 predicate Lo-12 quantier Lo-12 truth set Lo-12 Prime number Lo-13 Propositional logic Lo-1 algebraic rules Lo-3

Universal quantier () Lo-12 Unless (logic) Lo-8

Quantier existential () Lo-13 negation of Lo-15 universal () Lo-12

Rule absorption Lo-3 associative Lo-3 bound Lo-3 commutative Lo-3 DeMorgans Lo-3 distributive Lo-3 double negation Lo-3 idempotent Lo-3 negation Lo-3

Set as a predicate Lo-14 Statement form Lo-1 Boolean function and Lo-8 Statement variable Lo-1 Sucient (logic) Lo-7

Tautology Lo-2 Index-4