Can someone give me some feed back on this? The reasoning denies a conclusion in order to show a premise is false. Is that an acceptable method of argumentation? I know that conditionally, if A->B, then negation B = negation A, but does that hold true ...