Note 381 — Chapter V
Reading edition
Given “If P and only if P then Q,” then we may of course argue from Q to P or from not-P to not-Q; and no doubt in the case of ordinary hypotheticals it is often tacitly understood that the consequent is true only if the antecedent is true. This must, however, be expressly stated if the argument based upon it is to be formally valid.