Pregunta: Seleccione el error que se comete en la prueba dada a continuación. Teorema. La suma de dos enteros impares es par. Prueba. Como x es impar, x = 2k + 1 para algún entero k. Como y es impar, y = 2j + 1, para algún entero j. Sustituyendo la expresión 2k + 1 para x y 2j + 1 para y en x + y da x + y = (2k + 1) + (2j + 1) = 2k +2k + 2 = 2(k + j + 1) Dado que k y

Seleccione el error que se comete en la prueba dada a continuación.
Teorema. La suma de dos enteros impares es par.
Prueba.
Como x es impar, x = 2k + 1 para algún entero k. Como y es impar, y = 2j + 1, para
algún entero j. Sustituyendo la expresión 2k + 1 para x y 2j + 1 para y en x + y
da
x + y = (2k + 1) + (2j + 1) = 2k +2k + 2 = 2(k + j + 1)
Dado que k y j son números enteros, k + j + 1 también es un número entero. Por lo tanto,
como x + y es igual a 2m, donde m = k + j + 1 es un número entero, x + y es par. ■
a. Generalizando a partir de ejemplos.
b. Mal uso de la instanciación existencial.
C. No introducir correctamente una variable.
d. Asumiendo hechos que aún no han sido probados.