La idea de una “desprueba” es realmente solo semántica —para desmentir una afirmación necesitamos probar su negación. Si se nos da una declaración universalmente cuantificada lo primero que debemos ha...La idea de una “desprueba” es realmente solo semántica —para desmentir una afirmación necesitamos probar su negación. Si se nos da una declaración universalmente cuantificada lo primero que debemos hacer es probarla para algunos elementos aleatorios del universo en el que estamos trabajando. Si sucedemos a través de un valor que satisface las hipótesis de la declaración pero no satisface la conclusión, hemos encontrado lo que se conoce como contraejemplo.
