Tutorial 1 DSGT Solution
Tutorial 1 DSGT Solution
Tutorial 1 DSGT Solution
b) ¬q ↔ r
You won't miss the final examination if and only if you pass the
course.
c) q → ¬r
If you miss the examination then you will be failing the course
d) p ∨ q ∨ r
You have the flu OR you miss the final examination OR you pass
the course.
e) (p → ¬r) ∨ (q → ¬r)
If you have the flu then you'll not pass the course OR If you
miss the final examination then you'll fail the course
f ) (p ∧ q) ∨ (¬q ∧ r)
You have the flu and you miss the examination OR You will not
miss the final examination and you pass the course
4. Suppose I tell Seema that if she gets a 93% on her final, then she will
get an A in the class. Assuming that what I said is true, what can you
conclude in the following cases:
1. Seema gets a 93% on her final.
2. Seema gets an A in the class.
3. Seema does not get a 93% on her final.
4. Seema does not get an A in the class.
Solution
Note first that whenever P→Q and P are both true
statements, Q must be true as well. For this problem, take P to mean
“She gets a 93% on her final” and Q to mean “She will get an A in
the class.”
1. We have P→Q and P, so Q follows. She gets an A.
2. You cannot conclude anything. She could have gotten the A
because she did extra credit for example. Notice that we do
not know that if She gets an A, then she gets a 93% on her
final. That is the converse of the original implication, so it
might or might not be true.
3. The contrapositive of the converse
of P→Q is ¬P→¬Q, which states that if She does not get a
93% on the final, then she will not get an A in the class. But
this does not follow from the original implication. Again, we
can conclude nothing. She could have done extra credit.
4. What would happen if She does not get an A but did get a
93% on the final? Then P would be true and Q would be
false. This makes the implication P→Q false! It must be that
She did not get a 93% on the final. Notice now we have the
implication ¬Q→¬P which is the contrapositive
of P→Q. Since P→Q is assumed to be true, we
know ¬Q→¬P is true as well.