Question

Determine which of the lettered claims below is equivalent to the following: Steve can give blood if he has been tested. (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 derivationsthe 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.

Answer

This answer is hidden. It contains 13 characters.