It looks like you're new here. If you want to get involved, click one of these buttons!
I'm getting confused on how to write contrapositives with conditional sequencing rules on a one dimensional game board.
ex) if H before M then L before p
would the contrapositive of this be
If Not( L before P) then Not (H before M) which on a one dimensional game board would turn into
If P before L then M before H
or would it just be if the sufficient isn't satisfied the rule goes away and there is no contrapositive
Comments
You have it correct. Unless there is a possibility of them being in the same position, then Not (L before P) translates to P before L.
Think about it like this. If H is before M, then L must be before P.
In your second example, you have P before L. Because you have P before L, you cannot have H before M. Otherwise the original rule has been broken. And again, if they cannot be in the same place, one must be before the other.
thank you!