It looks like you're new here. If you want to get involved, click one of these buttons!
In regards to PT31 Game 2 question 8, if the rule states /A and/B —-> C, then the contrapositive would be /C —-> A or B. My question is, can both A and B be in (I.e. at least one is in) or is it just either A or B, not both. Thank you!
Comments
The only unacceptable world for /C —-> A or B is for both A and B to be out. So it could be true that either A or B is in, or both are in?
Yes. You could have both A and B, and it would still be fine. If I told you "Andy ate a hot dog for lunch or he ate one for dinner", and Andy ate a hot dog for lunch AND he ate one for dinner, well, that's okay. Just because he did both, my statement is still the truth. The only way my statement becomes false is if Andy doesn't eat a hot dog at either of those times.