טיעון תקף שהנחותיו אמיתיות, מסקנתו בהכרח אמיתית