Ligesom at benægte antecedent, bekræfter deraf er en formel fejlslutning. Fejlslutning ligger udelukkende i selve formularen. Det har følgende mønster: Hvis p så q, q, derfor p. et argument, passer dette mønster er ugyldig, det vil sige, selv om lokalerne er sande, den konklusion, der følger af disse lokaler ikke kan være rigtigt. Der henviser til en gyldig form sikrer at, hvis lokalerne er sande, konklusionen vil være sandt. Ja, hvis et argument er en gyldig form og sande lokaler, så det er umuligt for konklusionen at være falsk.