“to know that an inference is deductively valid is to know that there are no situations in which the premisses are true and the conclusion is not.”