Escolar Documentos
Profissional Documentos
Cultura Documentos
SOLUTION
There are 6 problems on this exam on 6 pages. Write your name on each page. Write your
section number on the first page. Keep your answers to each problem on its own page. You may
write on the back, if needed.
(14 points) Let p be the statement Prof. Davis is walking in the rain. Let q be the statement
Prof. Davis gets wet. Suppose p q is always true.
(a) State the contrapositive as a logical proposition.
Solution: q p
(b) State the contrapositive in English.
Solution: If Prof Davis does not get wet, then he is not walking in the rain.
(c) State the inverse p q in English.
Solution: If Prof davis is not walking in the rain, he does not get wet.
(d) If p q is always true, does this imply the inverse is always true? (answer yes or no):
Solution: NO
(e) Demonstrate your answer to (d) with a logical proof or with a truth table (the latter is
probably easier).
Solution: Here
p q pq
T T
T
F
T F
F T
T
F F
T
is a truth table
p q p q
F
F
T
F T
T
T F
F
T T
T
Note that if p q is always true, it means the 2nd row of the truth table cannot hold.
However, the 3rd row can, and in this case p q is false.
(f) If your answer to (d) is yes, explain. If your answer to (d) is no, determine the value(s)
of p and q for which (p q) is true yet the inverse is false.
Solution: p can be false and q can be true (3rd row of table above)
(g) Give a practical example for your answer in (f).
Solution: Davis can get wet through other means ... like a bottle of water poured on his
head.