Determine which of the lettered claims below is equivalent to the following: It's sufficient for Steve to be tested in order for him to give blood. (This is easy to do if you symbolize the claims first and have some familiarity either with truth tables or with the Group II rules for derivations-the truth-functional equivalences.)
A)If Steve can give blood, then he has been tested.
B)If Steve has been tested, then he can give blood.
C)Steve cannot give blood, and he has not been tested.
D)Steve has not been tested, but he can give blood.

Question

Quizplus · Accepted Answer

The original statement implies that being tested is a prerequisite for Steve to give blood. Therefore, if Steve has been tested, it follows that he meets the necessary condition to give blood, which is exactly what option B states.

Determine Which of the Lettered Claims Below Is Equivalent to the Following