... rule ” For conditionals, A and B negates to A → /B ” came from or ... elsewhere, at least to my knowledge. I understand it intuitively as you ... relationships as being A and B → C negated to /C → /A or /B as specified ... you have both premises A and B as part of the ...