Esto se conoce como demostración por contrarrecíproco o contraposición.