An inference is formally valid in the restricted sense if the opposite of its consequent is formally...