Logic Problems 2
Logic Problems 2
1. Question. Let X and Y be statements. If we know that X implies Y, then we can also conclude
that:
1. Question. Let X and Y be statements. If we want to DISPROVE the claim that "Both X and Y are
true", we need to show that
2. Question. Let X and Y be statements. If we want to DISPROVE the claim that "X implies Y", we
need to show that
3. Question. Let X,Y,Z be statements. Suppose we know that X implies Y, and that Z implies X. If
we also know that Y is false, we can conclude that
Answer. X is false.
Answer. Z is false.
Answer. Z implies Y.
Answer. B and C.
Answer. A and C.
Answer. A, B, and C.
Answer. None of the above conclusions can be drawn.
4. Question. Let X,Y,Z be statements. Suppose we know that "X is true implies Y is true", and "X is
false implies Z is true". If we know that Z is false, then we can conclude that
Answer. X is false.
Answer. X is true.
Answer. Y is true.
Answer. B and C.
Answer. A and C.
Answer. A, B, and C.
Answer. None of the above conclusions can be drawn.
5. (Bonus) Question. Suppose one wishes to prove that "if some X are Y, then some Z are W". To
do this, it would suffice to show that