Presentation is loading. Please wait.

Presentation is loading. Please wait.

Review for CS1050. Review Questions Without using truth tables, prove that  (p  q)   q is a tautology. Prove that the sum of an even integer and an.

Similar presentations


Presentation on theme: "Review for CS1050. Review Questions Without using truth tables, prove that  (p  q)   q is a tautology. Prove that the sum of an even integer and an."— Presentation transcript:

1 Review for CS1050

2 Review Questions Without using truth tables, prove that  (p  q)   q is a tautology. Prove that the sum of an even integer and an odd integer is always odd. Use mathematical induction to prove that whenever n  Z+.

3 Review Questions Prove that f n+1 f n-1 – f n 2 = (-1) n whenever n is a positive integer. Without using set membership tables, prove or disprove that if A,B and C are sets, then A – (B  C) = (A-B)  (A-C). Using the definition of “Big Oh” prove that n! is O(n n ). Prove that (3,5,7) is the only “prime triple”, i.e., the only set of three consecutive odd integers > 1 that are all prime.

4 Review Questions Suppose f: Z+  Z+ where f(n) = 4n + 1 and Z+ is the set of all non-negative integers. –Is f one-to-one? –Is f onto? Suppose f: Z+  Z+ where f(n) = 4n 2 + 1 and Z+ is the set of all non-negative integers –Is f one-to-one? –Is f onto?

5 Without using truth tables, prove that  (p  q)   q is a tautology.  (p  q)   q   (  p  q)   q  Misc. T6 (Implication equivalence)  (  p  q)   q  Misc. T6 (Implication equivalence) (  p  q)   q  Double Negation  p  (q   q)  Associative  p  T  Misc. T6 (Or tautology) T  Domination

6 Prove that the sum of an even integer and an odd integer is always odd. Let e be an even integer and f be an odd integer. Then there exists i,j  Z such at e = 2i and f=2j+1. (Why not e = 2j and f=2j+1?) Then e+f = 2i+2j+1 = 2(i+j) + 1 which is odd since i+j must be an integer.

7 Use mathematical induction to prove that whenever n  Z+. Basic Case: Let n = 1, then Inductive Case: Assume that the expression is true for n, i.e., that then we must show that

8

9 Prove that f n+1 f n-1 – f n 2 = (-1) n whenever n is a positive integer. Basis Step : For n=1 we have f 2 *f 0 – f 1 2 = 1*0 – 1 2 = -1 which is (-1) 1 Inductive Step: Assume the inductive hypothesis that f n+1 f n-1 – f n 2 = (-1) n. We must show that that f n+1+1 f n+1-1 – f n+1 2 = (-1) n+1

10 Then for n+1 we have that f n+1+1 f n+1-1 – f n+1 2 = f n+2 f n – f n+1 2 = (f n+1 +f n )f n - f n+1 2 = (f n+1 f n ) + f n 2 - f n+1 2 = (f n+1 )(f n - f n+1 ) + f n 2 = (-f n+1 )(f n+1 -f n )+ f n 2 But we know that f n+1 -f n = f n-1 so = (-f n+1 )(f n-1 )+ f n 2 = -(f n+1 f n-1 - f n 2 ) = -(-1) n by the inductive hypothesis which is (-1) n+1

11 Without using set membership tables, prove or disprove that if A,B and C are sets, then A – (B  C) = (A-B)  (A-C). Proof: We must show that A – (B  C)  (A-B)  (A-C) and that (A- B)  (A-C)  A – (B  C). First we will show that A – (B  C)  (A-B)  (A-C). Let e be an arbitrary element in A – (B  C). Then e  A but e  (B  C). Since e  (B  C), then either e  B or e  C or both. If e  A but e  B, then e  (A-B). If e  A but e  C, then e  (A-C). Since e is either an element of (A-B) or (A-C), then e must be in their union.. Therefore e  (A-B)  (A-C).

12 Now we will show that (A-B)  (A-C)  A – (B  C). Let e be an arbitrary element in (A-B)  (A-C). Then either e is in (A-B) or e is in (A-C) or e is in both. If e is in (A-B), then e  A but e  B. If e  B then e  (B  C). Therefore e  A-(B  C). If e is in (A-C), then e  A but e  C. If e  C then e  (B  C). Therefore e  A-(B  C).

13 Using the definition of “Big Oh” prove that n! is O(n n ). Proof: We must show that  constants C  N and k  R such that |n!|  C|n n | whenever n > k. n! = n(n-1)(n-2)(n-3)…(3)(2)(1)  n(n)(n)(n)…(n)(n)(n) n times =n n So choose k = 0 and C = 1

14 Prove that (3,5,7) is the only “prime triple”, i.e., the only set of three consecutive odd integers > 1 that are all prime We must show that, for any three consecutive odd integers, at least one is divisible by some other number. We will show that for every three consecutive odd integers, one of them is divisible by 3. Proof: Any three consecutive odd integers can be written as 2k+1, 2k+3, and 2k+5 for k  Z. For any k  Z, there are three possible cases, k = 3j,k = 3j+1,k = 3j +2 for j  Z.

15 Case 1: k = 3j. Then three consecutive odd integers look like: 2k+1= 2(3j) + 1 = 3(2j) + 1 2k+3= 2(3j) + 3 = 3(2j) + 3 = 3(2j+1) which is divisible by 3 since 2j+1 is an integer 2k+5 = 2(3j) + 5 = 3(2k) + 5 = 3(2k+1) + 2

16 Case 2: k = 3j+1 Then three consecutive odd integers look like: 2k+1= 2(3j+1) + 1 = 3(2j+1) which is divisible by 3 since 2j+1 is an integer. 2k+3= 2(3j+1) + 3 = 3(2j+1) +2 2k+5 = 2(3j+1) + 5 = 3(2j+2) + 1

17 Case 3: k = 3j+2 Then three consecutive odd integers look like: 2k+1= 2(3j+2) + 1 = 3(2j+1) + 2 2k+3= 2(3j+2) + 3 = 3(2j+2) +1 2k+5 = 2(3j+2) + 5 = 3(2j+3) which is divisible by 3 since 2j+3 is an integer. The only number divisible by 3 and that is prime is 3 so 3,5,7 is the only possible “prime triple”.

18 Suppose f:Z +  Z + where f(n) = 4n + 1 and Z + is the set of all non-negative integers. Is f one-to-one? Is f onto? Suppose f: Z +  Z + where f(n) = 4n 2 + 1 and Z + is the set of all non-negative integers Is f one-to-one? Is f onto?


Download ppt "Review for CS1050. Review Questions Without using truth tables, prove that  (p  q)   q is a tautology. Prove that the sum of an even integer and an."

Similar presentations


Ads by Google