... rule ” For conditionals, A and B negates to A → /B ” came from or ... positing that /B is a necessary condition of A and thus can ... as being A and B → C negated to /C → /A or /B as specified ... A and B -> C or C -> A and B included when encountering this in a ...