Hi Rachel!
Let me see if I can clear it up:
Rachel.Jay.Shapiro Wrote:"Wharton serves on a different committee from the one on which Zhu serves"
and
"Upchurch serves on a different from the one on which Guzman serves"
imply biconditionality. If, for example, Wharton's serving on finance necessitates Zhu's serving on incentives, and Zhu's serving on finance necessitates Wharton's serving on incentives (the contrapositive), why is there a need for the two additional conditional statements?
The issue is that you also have to be ready to know the consequences of Wharton serving on finance and Zhu serving on incentives. I might be wrong, but it seems like you're saying: If I know that Wf --> Zi, then I already know that Zi --> Wf, and while that's true in this case (because the rules tells us they can't serve on the same committee), in other situations, that would not be true. For example, what if the rule were simply "If W serves on finance, Z must serve on incentives"? Would you know that Z on incentives requires W on finance? No -- they could both be on incentives.
To give you another example, if I say "If H is on the team, then Q is not" can I infer "If Q is not, H is on the team"? No, I can't -- it's possible they're both off the team. If I were to try to make the H and Q example similar to the Zhu and Wharton one, I'd have to change it to "H and Q must do different things after school, and the only choices in our poor town are to be on the team or off it." Does that makes sense?
What makes these statements different from the following: "Wharton and Zhu cannot serve on the same committee", which I believe would not result in biconditionality.
Those are the same thing, and the one you've written also ends up requiring a double arrow. If this game were about whether you're on the committee or not, then the interpretation would be different. Note, I don't like double arrows, as I've trained myself not to read "against" the arrow, so I put circles or Xs at each end of the line.
Are there typical biconditional statements that can be expected in binary grouping games?
This is a typical one -- it's more common in situations in which the game is not about in or out, but whether the elements are sent to this or that option (i.e. varsity or junior varsity, instead of on the team or off).
Does that clear it up?