... G --> /T and /J. Taken further, this becomes: ... .
- Contrapositive: T or J --> /A and /G. ... , T --> /G ; J --> /A, J --> /G. If Tom ... I understand that John or Bill, but not both will be ... diagrammed as /J B, where contrapositive is J /B. But ...