Setup and Rule Diagrams

[Administrator]

Setup and Rule Diagram Explanation

This is a Grouping game.

This setup is still in progress. Please post any questions below!

[angelicaw7852@gmail.com]

Hello, how far are we supposed to go with the inferences in this game?

Originally, I just took the contrapositives of the last two rules and moved on, but upon review, I noticed that they could be linked together because if 1 = 3, then 1 isn't a pillbox since 3 cannot be a pillbox which would mean:

2 OR 4 NOT Tams -> 1=3 -> 1 NOT pillbox -> 3 OR 4 NOT Tams

But I don't know if going that far is necessary or even correct.

Thank you guys for all of your help!

[Robert Carroll]

angelicaw7852,

You can make a chain from the last two rules. In fact, since you contraposed both to get that chain, you didn't need to contrapose at all:

(T3 + T4) P1

And since 3 is never P, if P is 1, then 1 and 3 must be different. So:

P1 (1 3) (T2 + T4)

Putting it all together:

(T3 + T4) P1 (1 3) (T2 + T4)

Most of the inferences in this game, though, are about Numerical Distributions. It's best to write all the different numbers of the different hat types there could be together. Most of the questions relate to these distributions as well.

Robert Carroll