Conditional Sequencing Rules and their contrapositives in LG

microdyn

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

noonawoon

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.

microdyn

thank you!