Quick In/Out logic chain question
Posted: Sat Sep 09, 2017 3:10 pm
Hey TLS,
Reviewing my In/Out logic chain fundamentals and a question came to mind. Appreciate any help.
Let's say we have an In/Out game with 4 elements ABCD. And the logic chain we have is A ---> ~B ---> ~C ---> D. From the A/B "not both" rule and the C/D "or" rule, we know that at least one of C/D is IN, and at least one of A/B is OUT. Can we draw any additional inference(s) from the B/C rule, and if so, how could we represent it? I think the answer is No, just leave that rule alone and do not put it into your chart. But in theory, at least one of A/C is out as well, but then there is overlap between the inferences at least one of A/C out and at least one of A/B out, which can get confusing, especially if you allocate 2 slots for these inferences (since they could just take up one OUT slot).
So it it best to just use each variable once for inference sake (A/B and C/D inferences), and then just refer back to your chain for individual questions? Hope my question is clear.
Thank you!!
Reviewing my In/Out logic chain fundamentals and a question came to mind. Appreciate any help.
Let's say we have an In/Out game with 4 elements ABCD. And the logic chain we have is A ---> ~B ---> ~C ---> D. From the A/B "not both" rule and the C/D "or" rule, we know that at least one of C/D is IN, and at least one of A/B is OUT. Can we draw any additional inference(s) from the B/C rule, and if so, how could we represent it? I think the answer is No, just leave that rule alone and do not put it into your chart. But in theory, at least one of A/C is out as well, but then there is overlap between the inferences at least one of A/C out and at least one of A/B out, which can get confusing, especially if you allocate 2 slots for these inferences (since they could just take up one OUT slot).
So it it best to just use each variable once for inference sake (A/B and C/D inferences), and then just refer back to your chain for individual questions? Hope my question is clear.
Thank you!!