Conditional Sequencing Rules and their contrapositives in LG

microdynmicrodyn Core Member
in Logic Games 6 karma

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

  • noonawoonnoonawoon Alum Member ⭐
    3481 karma

    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.

  • microdynmicrodyn Core Member
    6 karma

    thank you!

Sign In or Register to comment.