Comprobador lógico: Ecuaciones de Navier