An inference is formally valid in the universal sense if and only if the opposite of its consequent ...