...
o What does this statement mean in ... Chris does not go to the park, then Alan does not go ... />
/A←→B [Alan does not go to park, Chris ... → = arrow, implies
2). / = not, contradiction, negate
3). And ... lines of, "Each does exactly one of two ...