Not Co-Existence implicit?

Consider the following log skeleton: Question: Is there a Not Co-Existence between A and E? Yes, there is. As E has D as Precedence, “if E, then also D”. As D has A as a Not Co-Existence, “if D, then not A”. Hence, “if E, then D, and not A”. The following log skeleton shows … [Read more…]
Recent Comments