La demostración por contraposición infiere la conclusión «si el evento "p" implica el evento "q", entonces no evento "q" implica no evento "p" », o, matemáticamente: