A → proof in which one assumes the → truth of one of the → premises to show that if that premise is true then the → argument is → valid.
See also: → conditional; → proof.
