- Mon Mar 27, 2017 4:23 pm
#33711
Aaron,
The rule as stated does indeed say the following:
N R + S
Remember that "not reduced" isn't a group. The only group is the group of areas that are reduced. So when (part of) the rule says the following:
N R
This means that N and R can't both be reduced. If neither one were reduced, then they wouldn't be "together" in a group. This is what a Double-Not Arrow says - it does not forbid two variables from being together, but from being together in a group.
Compare these two:
A B
C D
The first say that each variable excludes the other. The latter is not the same! It says that the lack of one variable requires the other. The latter, not the former, is a rule that would forbid the two variables from both being out.
You don't have such a situation here. The correct contrapositive is two Double-Not Arrows:
N R
N S
That's different from this:
N R + S
because the last thing I just listed is not what the rule or its contrapositive says, and is thus not a valid inference in this game.
I think all the confusion can be traced to a misinterpretation of what a Double-Not Arrow means. It means "those two can't both be in a group together." If you remember that "Not Reduced" is not a group at all, then the misinterpretation should disappear. If N and R are both "Not Reduced," the Double-Not Arrow is perfectly satisfied, as all it cares about is that they are not in a group together.
Robert Carroll
The rule as stated does indeed say the following:
N R + S
Remember that "not reduced" isn't a group. The only group is the group of areas that are reduced. So when (part of) the rule says the following:
N R
This means that N and R can't both be reduced. If neither one were reduced, then they wouldn't be "together" in a group. This is what a Double-Not Arrow says - it does not forbid two variables from being together, but from being together in a group.
Compare these two:
A B
C D
The first say that each variable excludes the other. The latter is not the same! It says that the lack of one variable requires the other. The latter, not the former, is a rule that would forbid the two variables from both being out.
You don't have such a situation here. The correct contrapositive is two Double-Not Arrows:
N R
N S
That's different from this:
N R + S
because the last thing I just listed is not what the rule or its contrapositive says, and is thus not a valid inference in this game.
I think all the confusion can be traced to a misinterpretation of what a Double-Not Arrow means. It means "those two can't both be in a group together." If you remember that "Not Reduced" is not a group at all, then the misinterpretation should disappear. If N and R are both "Not Reduced," the Double-Not Arrow is perfectly satisfied, as all it cares about is that they are not in a group together.
Robert Carroll