The contrapositive of P ---> ... before figuring out the contrapositive. To do that, ... if I go to the park and do not see Mike, then ... br />
The contrapositive of the last logical statement (our ... with "or" when getting the contrapositive).
...