Usuario:Camilo maldonado/ejercicio 17 capitulo 2 pagina 119

Escriba la negacion de cada una de las siguientes propociciones verdaderas. Para las partes (a), (b), (c) el universo consta de todos los enteros, para las partes (d), (e), el universo abarca todos los numeros reales.

a) Para todo numero n, si n no es(exactamente) divisible entre 2, entonces n es impar.

-Negacion:

Existe un numero entero que si es exactamente divisible entre 2 entonces n es par.


b) Si el cuadrado de un entero es impar, entonces el entero es impar.

-Negacion:

Si el cuadrado de un numero que no es entero es par, entonces el numero es par.


c) Si k,m,n son enteros tales que k-m y m-n son impares, entonces k-n es par.

-Negacion:

Si k,m,n no son enteros tales que k.m y m-n son pares, entonces k-n es impar.


d) Si x es un numero real tal que x^2 > 16 entonces x < -4 o x > 4

-Negacion:

Si x no es un numero real tal que x^2 < 16 entonces x > -4 o x < 4


e) Para todo numero real x, si│x-3│< 7, entonces -4 < x < 10

-Negacion:

Para todo numero que no sea real x, si│x-3│> 7, entonces -4 > x > 10