- Fri Apr 14, 2017 6:00 pm
#34115
Yaesul,
Be careful! The local condition in question #8 says that jays are not in the forest. Thus, jays cannot be in the forest. Further, if a hypothetical local question said "X is in Y," that doesn't imply that only X is in Y. Nothing should be assumed to list completely all the things that are in unless that conditions says it's a complete list.
For question #9, you should have a substantial number of inferences and rule representations already written before you began the questions. When this asks you what the maximum number is, you first look at variables, if any, that are in multiple Double-Not Arrows. Here, if W is in, H, J, and M cannot be in. Thus, if W is in, the maximum is 3. Can we do better than that? If we can, it has to be by leaving W out. So leave W out. We know that answer choice (E) isn't the answer now (otherwise, W is in, but that excludes 3 variables, so it can't be 6 in!). Now we look at the 5 variables left and see if any two are related by Double-Not Arrows - because they are incompatible, those two couldn't both be in, meaning 5 wouldn't actually work. G conflicts with H, J, and M, so exclude G. You're left with H, J, M, and S. Including all 4 of these doesn't violate a rule, whereas trying to get 5 or 6 will cause problems with Double-Not Arrows, so we know answer choice (D) is wrong and answer choice (C) is the correct answer.
Robert Carroll