Download Word file - UC Davis

yes no Was this document useful for you?
   Thank you for your participation!

* Your assessment is very important for improving the work of artificial intelligence, which forms the content of this project

Document related concepts

Laws of Form wikipedia, lookup

Truth-bearer wikipedia, lookup

ID:______ ___________________________
ECS 20: Discrete Mathematics
Midterm 1
January 25, 2006
quizz is open book, open notes. No computers though…
You have 30 minutes, no more: I will strictly enforce this.
You can answer directly on these sheets (preferred), or on loose paper.
Please write your name at the top right of each page you turn in!
Please, check your work!
There are 6 questions total, each valued 5 points. I will grade however over a total of 25,
i.e. one question can be considered “extra credit”. You choose!
Part I: logic (2 questions, each 5 points; total 10 points)
1) Use either a truth table or logical equivalences to show the equivalence :
 p  F   q  T   p  q  p.
2) Show that the statement  p  q  p  q is not a tautology by giving examples of
propositions p and q for which the implication is false
ID:______ ___________________________
Part II: proofs (2 questions, each 5 points; total 10 points)
1) Prove that if N is an even number greater or equal to 4, then 2N-1 is not prime (Hint a
number A is not prime if it can be written in the form BxC, where both B and C are
integers strictly greater than 1). Justify each step.
2) The proof below has been scrambled. Please put it back in the correct order.
Claim: For all n ≥ 9, if n is a perfect square, then n-1 is not prime.
Since (n-1) is the product of 2 integers greater than 1, we know (n-1) is not prime
Since m ≥ 3, it follows that m-1 ≥ 2 and m+1 ≥ 4
Let the perfect square n ≥ 9 be given
This means that n-1 = m2-1 = (m-1)(m+1)
There is an integer m ≥ 3 such that n=m2
ID:______ ___________________________
Part III: Set theory (2 questions, each 5 points; total 10 points)
1) Let A and B be two sets. Show that if A  B  B then A  B  A
2) Let A and B be two sets. Show that if A  B  A then B  B  A  A