Diagramming Either/Or Statements Pg. 228

[AJW1881]

When Diagramming these types of problems I was introduced with the following scenario:
Either Jones, or Kim will win the election...
The diagramming thus begins as follows:
If Jones doesn't win the election --> Then Kim wins the election.
The contrapositive then follows:
If Kim Doesn't win the election --> Then Jones wins the election.

My area of concern is in determining why the sufficient condition in these situations begins with one person not winning the election, as apposed to Winning the election not being the sufficient term in the diagram, as in, why can't the diagram look as shown (Or can it?):
If Jones Wins the election --> Then Kim Doesn't win the election
If Kim Wins the election --> Then Jones doesn't win the election.

[Luke Haqq]

Hi AJW1881!

The second diagrams you have seem to be close but they actually eliminate an outcome here that is in fact possible so they are wrong.

The first set of diagrams actually captures the relationship properly. Namely, the first set makes clear that one of either Jones or Kim will definitely win the election. If you don't have one of them, then you know the other one wins. By contrast, the second set of diagrams allows for the outcome where neither Jones nor Kim wins the election, and that is not possible.