- Posts: 84
- Joined: Jul 07, 2017
I totally get that we can only diagram absolute rules, rather than possible ones.
On the main diagram, we have the following:
R S U T (w/ another arrow from U R - just not sure how to show that on here).
Since we know that U R and R S, we can combine those rules to produce U S.
Where I get confused is understanding if that logic works in the other direction. For example, we know S U and U T. Can we combine that into the following S U T and simplify it to S T?? Why or why not? I figured we can NOT simplify it into S T because of the two reasons:
1) When S is in, U is out. And when U is out, we fail the sufficient condition for U T, so that rule falls away. So T could be in or out.
2) When U is in, S is out. And U T still holds true.
But I am still a little confused on when you can condense rules vs when you cannot. Can someone please clarify?