solade1 Wrote:I noticed that the 1st rule (if M is offered then eithier L or S but not both is offered) cannot be diagramed into the logic chain, the contrapositive of this rule is If L or S is not offered then M is not offered. This contra has a "or" in the sufficient so we should be able to seperate into 2 seperate rules, however when I put these seperate rules on my logic chain it causes me to get problem #15 and#17 incorrect. Can anyone explain why my logic does not hold.
The original conditional statement is this:
M ---> 1 L/S in, 1 L/S out
The contrapositive of this is:
Both LS in ---> ~M
Both LS out ---> ~M
The "or" statement is also a "but not both" statement, which is important logically.
So it is not true that lacking L or lacking S will result in M being out. It would take both in or both out for M to be out.
For M to be in, it must be the case that the L and the S are separated.