... a book, if A, then not B, can be notated like A-->/B ... , it is maybe notated like A/B.
Here ... beginning of the post,A-->/B AND AB are ... original above, which is not inference can be made ... original above, there is not such inference can be ...