yying_wong Wrote:I hate to keep beating this dead horse, but I do have a question on SuperPrep explanation on Page 241, paragraph #2: "...if there are no spruces in the park, then the pairing of spruces with firs is also not in the park."
Rule 4 says: ~L or ~ O --> F+S
The contrapositive is ~F or ~ S --> L + O
My understanding is that either F or S is absent, then L and O are in. Then let's move on the question # 8, the SuperPrep explanation says if S is out, F must be out as well. I don't see any indication that is true. The contrapositive says if one of F and S is out, then L+O are in. How do they link F and S as a pair that must be both in or both out? What am I missing here? Please help!!!
I am reading that explanation and it does not state that if S is out then F is out.
The rules in question are these: Rules 3 and 4
Rule 3:
~Y ---> 1 L/O in, 1 L/O out
Rule 4:
~ [L and O] ---> [F and S]
So the last rule we can see as the "at least one rule."
If we do not have the [L and O] block, we have the [F and S] block. We could have both blocks, but we could never have neither block.
Question 8 gives us a local question of M and S being out of the park and it asks us what could be true.
In:
Out: M S
I know that I can invoke the contrapositive of the last rule. This park will not have [F and S], so I know it will have [L and O]
In: L O
Out: M S
I know that since my L and O is together, that this invokes the contrapositive of the third rule. I will not be able to have L and O split up. This means that Y is in the park.
In: L O Y
Out: M S
I have F and P left.
The only relevant rules governing its placement now is: F --->~P
This can be thought of as the "not both" rule.
This means that at least one of those two must be out.
In: L O Y
Out: M S F/P
P/F is free to float.
So we know that it could be true that four types of trees are in the park. Five is impossible and L, O, Y all must be in the park. A is the answer.