... rule ” For conditionals, A and B negates to A → /B ” came from or how ... ’re 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 ... be either A and B -> C or C -> A and B included ...