jaysan150 wrote:sunsheyen wrote:I hated the Manhattan logic chain. All those arrows and lines were too much like a terrible maze for me. Have you checked out some of J.Y.'s explanation videos on 7sage? He does it in a way that's easier to grasp, IMO.
For example, if you have:
A -> -B
if a is in, b is out, then at least one of them will always be out based on contra B -> -A, however both of them can be out as well.
-C -> B
If c is out, b is in, therefore one will always be in, contra -B -> C, but both can be in as well.
By connecting the contra of rule 2 with rule 1, you can make an easier to follow chain.
A -> -B -> C
Which lets you see that any time A is in, C is also in. The chains can continue and attach based on other rules (or their contra positives), to give a clearer picture. Much easier for me to see before I internalize the rules, than those arrows and the risk of writing them the wrong direction or losing sight of where the lines cross etc.
HTH and is even what you were talking about.
Could you put parentheses and identify which part is sufficient and which part is necessary ?
My mind doesn't really process sufficient and necessary. If I try to label in that way I get confused. I just think of if/then with if being on the left (sufficient) and then being on the right (necessary).
If the right is satisfied, then anything goes with the left (suff/ if portion of stmt) and its placement.
So in (A -> -B), if A is in, then B is out. If the necessary is satisfied, namely B being out, then the A can do anything--while conforming to any other rules affecting it. So A can be in OR out at that point because you have satisfied the rule that at least one of them is always out with B. Same applies to the contrapositive. (B -> -A) If A is out, satisfying the necessary, then B can go anywhere, because again, at least one of them is already out.
As a basic example: if I am wearing a shirt, then I can't wear a vest. So if the necessary (then/right side) is satisfied--that I'm not wearing a vest, I can wear a shirt or not, makes no difference. Sufficient can do whatever since necessary (not wearing the vest) is taken care of.
Contrapositive, if I'm wearing a vest, then I can't wear a shirt. If I'm not wearing a shirt, I can wear a vest or not, no rules are being broken.
(B -> -A) sufficient -> necessary
If the left (sufficient) isn't satisfied, then the rule is thrown out and anything goes for the variable on the right (necessary/then portion).
So with the (-C -> B), -C is sufficient (if) and B is necessary. If C is in (sufficient/if portion is failed), then the rule doesn't apply and B can do whatever. Same with the contrapositive. (-B -> C) If B is in, then it doesn't matter what C does.
Back to the example. If I'm not wearing a hat, then I will wear a vest. If the sufficient is failed, then the rule is out. So if I wear a hat, failing the sufficient, the rule doesn't matter and the vest can be on or off.
Contra is (-B -> C) is when I'm not wearing a vest, I'll wear a hat. So if the vest is on (suff failed), then the hat is free to be on or not.
For the combined rule using #1 and the contra of #2, then (A -> -B -> C) : if I'm wearing a shirt, then I'm not wearing a vest, and if not wearing a vest, I'm wearing a hat. Therefore, if I'm wearing a shirt, then I'm wearing a hat.
You can break them down into separate chunks where B is necessary in the A/B portion and sufficient in the B/C portion to work backwards in your rules. (Sufficient -> -necessary/sufficient -> necessary)
Hope that's not too crazy, doing this on my phone so I'll check its clarity later on the laptop.