« on: May 26, 2005, 02:17:55 PM »
One of the rules of the game is:
- G cannot be prescribed if both N and U are prescribed.
I know that the rule can be noted as:
N and U -> ~G
But what is the contrapostive? What happens to the AND? Does it get switched to an OR instead of getting negated?
So is the contrapositive: G -> N or U
or is it: G -> ~(N and U)... so N could be present and U could be present, or both could be absent but both could not be present?
Thanks in advance