Fall 2009 Test 1A Problems and Solutions - Prof. Margaret P. Mcquain, Exams of Discrete Mathematics

The solutions to test 1a for the fall 2009 semester. It includes problems and their respective answers in logic, with explanations for each problem. Students can use this document to check their work and understand the concepts covered in the test.

Typology: Exams

Pre 2010

Uploaded on 12/11/2009

boogley
boogley 🇺🇸

6 documents

1 / 2

Toggle sidebar

This page cannot be seen from the preview

Don't miss anything!

bg1
2534 Solutions for Test 1A Fall 2009
Problem 1: (12pts) P is the statement, “You do all the problems” and A is the statement “you get an A”
a)
A P
A is Sufficient and P is necessary
b)
P A P A! "
P is sufficient and A is necessary
c)
P A A P "
d)
( )A P A P A P# " ! "
So we have that a, c, d are equivalent.
Problem 2: (8pt)
a) There is a particular name brand that all boys play with.
b) For every name brand there is a boy that plays with it.
Problem 3: (12pts) It is given that
[ ] ( ) B C A D #
is given to be false. Therefore the sufficient
condition
[ ]B C
is true and the necessary condition
( ) A D#
is false. Given that A and D have the
same truth value and the conjuction is false, A and D are both false. It also given that
B
is false. This
make B true and therefore C is true since the implication
is true.
Problem 4: (14pt)
[ ( )] [( ) ( )]
[( ) ( )] By Absorption
[( ) ( )] Equivalent form of implication
[(
p q p p q p q
p p q p q
p p q p q
p p
# ! # # ! "
# # ! "
# # ! ! "
#
) ( )] By DeMorgan's Law
[ ( )] Distribution Law
[ ( )]
q p q
p p q q
p p T
# ! # "
# # ! "
# # "
Negation (Inverse) Law
( ) Identity
C
p p# "
Negation Law
Problem 5: (14pt) Theorem: If a and b are even integers, then 2 2
( 1) ( 1)a b a$ $ $ % is even
Proof: Since a is even then
2
a
= (a)(a) is also even since the product of two even integers is even.
Given that b is even the consecutive integer b+1 is odd since two consecutive integers have opposite
parity. We now have that 2
( 1)b$ is odd since the product of two odd integers is odd. We also note
that a-1 is also odd since it is consecutive to the even integer a. Therefore we have that the sum
2
( 1)b$ and (a-1) is even since the sum of two odd numbers is even. And this results added to
2
a
will
be even since the sum of even numbers is even.
pf2

Partial preview of the text

Download Fall 2009 Test 1A Problems and Solutions - Prof. Margaret P. Mcquain and more Exams Discrete Mathematics in PDF only on Docsity!

2534 Solutions for Test 1A Fall 2009

Problem 1: (12pts) P is the statement, “You do all the problems” and A is the statement “you get an A”

a) A P A is Sufficient and P is necessary b) P! A " P A P is sufficient and A is necessary c) P A "A P d) ( A # P )" A! P "A P

So we have that a, c, d are equivalent.

Problem 2: (8pt)

a) There is a particular name brand that all boys play with. b) For every name brand there is a boy that plays with it.

Problem 3: (12pts) It is given that [ B C ] ( A # D) is given to be false. Therefore the sufficient condition [ B C] is true and the necessary condition ( A # D) is false. Given that A and D have the same truth value and the conjuction is false, A and D are both false. It also given that B is false. This make B true and therefore C is true since the implication B C is true.

Problem 4: (14pt)

[ ( )] [( ) ( )] [( ) ( )] By Absorption [( ) ( )] Equivalent form of implication [(

p q p p q p q p p q p q p p q p q p p

) ( )] By DeMorgan's Law

[ ( )] Distribution Law [ ( )]

q p q p p q q p p T

# " Negation (Inverse) Law

( ) Identity C

p # p " Negation Law

Problem 5: (14pt) Theorem: If a and b are even integers, then a 2 $ ( b $ 1)^2 $ ( a%1) is even

Proof: Since a is even then a 2 = (a)(a) is also even since the product of two even integers is even. Given that b is even the consecutive integer b+1 is odd since two consecutive integers have opposite parity. We now have that (^) ( b $ 1)^2 is odd since the product of two odd integers is odd. We also note that a-1 is also odd since it is consecutive to the even integer a. Therefore we have that the sum ( b $ 1)^2 and (a-1) is even since the sum of two odd numbers is even. And this results added to a 2 will be even since the sum of even numbers is even.

Problem 6: (14pt) Theorem: If a does not divide mb, then a does not divide b for integers a, b and m. Proof: We will use method of contrapositive. If a divides b, then a divides mb. Since a divides b, then by definition of divisible b = aq for some integer q. Now multiply both sides by m to get mb = maq = a(mq) = ak where k = mq is an integer. Therefore a divides mb. Since the contrapositive form is true the equivalent form and the original statement is also true.

Problem 7: (14pt) Theorem: All even integers greater than 2 are not prime. Proof: Using method of contradiction, we will assume there is an integer that is even and is prime. But this would mean that this integer is divisible by 2. By definition of prime, a prime number can only be divided by itself or one. If a prime number is also even then it can also be divided by 2 which contradicts the definition of prime. Therefore no even integer greater than two is prime.

Note: Using a counter example such as the number 4 is not a counter example to the statement of contradiction.

Problem 8: (12pt) Theorem: The product of any two consecutive integers can be represented by the forms 4k and 4k+ Proof: By the QRT, the set of integers can be represented in one of the forms 4k, 4k+1, 4k+2, and 4k+ Since the product of two consecutive integers will always be even then the only possible representation for an even number mod 4 is 4k or 4k+2.