Hi,

I seem to have some trouble with grouping games that have a lot of conditional reasoning (e.g. the birds in the forest game of Dec 2000). I think the main issues are that I have a hard time making the correct linkages between rules and inferences and then drawing inferences from those linkages. I've looked through the PS Bible dozens of times (including the explanation for the bird game), but every time I encounter these types of games, I still run out of time and get a good amount of questions wrong.

Does anyone have any good strategies for these games?

Also, I guess for conditional reasoning, I'd just like to know that for a scenario like:

There are 3 groups -- 1, 2, and 3.

Rule 1: If A is in group 1, then B is in group 2.

Rule 2: If C is in Group 3, then neither A nor B is in Group 1.

So the contrapositive for Rule 1 would be: If B is not in group 2, then A is not in group 1. So, does that mean that if B is in group 3, then A could be in group 2 or 3 (unless there's a rule stating that A and B can never be together)?

And the contrapositive for Rule 2 would be: If either A or B is in group 1, then C is not in group 3. But what about if A and B are both in group 1? Is C still not in group 3?

And for a scenario with:

2 groups -- 1 and 2:

Rule: If C is not in group 2, then D is in group 1.

For this rule, could I diagram that with a double-not arrow? (e.g. C<---|--->D) Can I infer from this rule that they can never be in the same group together?

Does the "not" appearing in the sufficient or necessary condition of the conditional rule matter in diagramming?

Thanks, everyone!!