Question about deduction of reciprocal rule Forum

[logicgamesbrah]

In LG when you get a rule that allows you to reverse the rule without negating and it's still true what is the deduction you get from this rule?

For example in a game where you have 5 entities and four spots to place them.

If no A -> B second, contraposed as
If B not second -> A

If B second -> not A, contraposed as
If A -> B not second

What deduction can be made from this rule?

[KevinP]

In LG when you get a rule that allows you to reverse the rule without negating and it's still true what is the deduction you get from this rule?

For example in a game where you have 5 entities and four spots to place them.

If no A -> B second, contraposed as
If B not second -> A

If B second -> not A, contraposed as
If A -> B not second

What deduction can be made from this rule?

If I understand this correctly, you have the following rules
not A -> B2
B2 -> not A

There is no point to taking the contrapositive (unless it helps w/ finding the bidirectional) as it can be written as a bidirectional.
not A <--> B2
and the only time this can be true is under the following 2 conditions:
B is second and A is not included (since this is out of 5, the other 4 have to be included)
B is not second and A is included.

I hope that helps, let me know if I can be of any further help.