EXAMPLE 2.2.4 SOLUTION

Let p be the statement: "We win." Let q be the statement: "We celebrate." Then the premise arrangement has this symbolic form:

P arrow q.

Not q.

We need to recognize that this is the premise arrangement for a form of valid reasoning (Contrapositive Reasoning). This means that we can form a valid conclusion:

Not p.

In words, the valid conclusion is "We didn't win." The correct choice is B.