Homework Assignment 1 PDF
Homework Assignment 1 PDF
10. Consider the following four statements. Note that, for this example, the
negation of “richly colored” is “dully colored”, and “small” means the
same as “not large”.
1) All hummingbirds are richly colored
2) No large birds live on honey
3) Birds that do not live on honey are dull in color
4) Hummingbirds are small
11. A pirate famous for his bizarre sense of humor and love of logic puzzles
left the following clues as to the location of the treasure. The treasure
can only be in one place.
a) If the house is next to a lake, then the treasure is in the kitchen
b) If the house is not next to a lake or the treasure is buried under the
flagpole, then the tree in the front yard is an elm and the tree in
the back yard is not an oak
c) If the treasure is in the garage, then the tree in the back yard is
not an oak
d) If the treasure is not buried under the flagpole, then the tree in the
front yard is not an elm
e) The treasure is not in the kitchen
Using rules of inference, determine where the treasure is hidden. You
must clearly state what your propositional variable represent and which
rule of inference is used for each step.
12. Consider the following statements.
a) If Dominic goes to the racetrack, then Helen will be mad.
b) If Ralph plays cards all night, then Carmela will be mad.
c) If either Helen or Carmela gets mad, then Veronica (their
attorney) will be notified.
d) Veronica has not heard from either of these two clients.
From these, can we conclude that Dominic didn’t make it to the
racetrack and Ralph didn’t play cards all night?
Write each of these statements in symbolic form. Clearly label what
your variables represent! Then establish the validity of the conclusion.
You must clearly label which rule of inference is used for each step.
13. Consider the statement: “The sum of any even integer and any odd
integer is odd”
a) Restate this (in English) as a conditional
b) Prove it via an indirect proof XOR a proof by contradiction
14. Prove or disprove each of the following statements. Clearly state which
proof method you are using.
a) There are three consecutive odd integers that are primes, that is,
odd primes of the form p, p+2, p+4.
b) n2-1 is composite whenever n is a positive integer greater than 1.
c) If n is a positive integer such that the sum of its divisors is n+1, then
n is prime.
15. Prove that if m is an even integer, then m+7 is an odd integer. You
need to prove it three different ways: by direct proof, indirect proof,
and proof by contradiction.