... ; B + B -> A, so the contrapositive has to be /B -> ... br />
(1) Since the reasoning proves that contrapositive exists, does that mean ... />
(2) When I am taking the contrapositive A B (= A -> B ... Or? I know I did the contrapositive, but I am starting to ...