Valid inference: In common usage an inference is said to be valid if it is permitted by the laws of logic. It is possible to specify this more exactly only in formal terms, with reference to a particular logistic system (q.v.).
The question of the validity of an inference from a set of premisses is, of course, independent of the question of the truth of the premisses. -- A.C.