ACTIVIDAD 2

1) PARA CADA UNA DE LAS SIGUIENTES PROPOSICIONES:

a) ESCRIBE SU NEGACION EN FORMA SIMBOLICA Y EN LENGUAJE NATURAL.

b) DETERMINE EL VALOR DE VERDAD PARA CADA PROPOSICION DADA Y SU

NEGACION CORRESPONDIENTE.

• ∀x ϵ N, (√x)(√x) = x
a) Negación en forma simbólica: ¬ (∀x ϵ N, (√x) (√x) = x)
b) Negación en lenguaje natural: "No es cierto que para todo número natural x, (√x) (√x)
=x."

Valor de verdad:
- La proposición original es verdadera. Para cualquier número natural x, (√x)(√x)
siempre es igual a x.
- La negación es falsa. Sí es cierto que para todo número natural x, (√x)(√x) = x.

• ∃x ϵ Z, x + 1 > 2x
a) Negación en forma simbólica: ¬(∃x ϵ Z, x + 1 > 2x)
b) Negación en lenguaje natural: "No existe un número entero x tal que x + 1 sea mayor
que 2x."

Valor de verdad:
- La proposición original es falsa. No existe ningún número entero que cumpla con la
desigualdad x + 1 > 2x.
- La negación es verdadera. Es cierto que no existe un número entero x que cumpla con
la desigualdad x + 1 > 2x.

• ∀x ϵ R, x² ≥ x
a) Negación en forma simbólica: ¬ (∀x ϵ R, x² ≥ x)
b) Negación en lenguaje natural: "No es cierto que para todo número real x, x² sea mayor
o igual que x."

Valor de verdad:
- La proposición original es verdadera. Para cualquier número real x, x² siempre es
mayor o igual que x.
- La negación es falsa. Sí es cierto que para todo número real x, x² es mayor o igual que
x.

• ∃x ϵ R, 2x + 1 < 0
 a) Negación en forma simbólica: ¬(∃x ϵ R, 2x + 1 < 0)
b) Negación en lenguaje natural: "No existe un número real x tal que 2x + 1 sea menor
que 0."

Valor de verdad:
- La proposición original es falsa. Existe al menos un número real que cumple con la
desigualdad 2x + 1 < 0.
- La negación es verdadera. Es cierto que no existe un número real x que cumpla con la
desigualdad 2x + 1 < 0.

• ∃x ϵ Z ¯, x³ > 0
a) Negación en forma simbólica: ¬ (∃x ϵ Z̅ , x³ > 0)
b) Negación en lenguaje natural: "No existe un número entero negativo x tal que x³ sea
mayor que 0."

Valor de verdad:
- La proposición original es falsa. No existe ningún número entero negativo que cumpla
con la condición x³ > 0.
- La negación es verdadera. Es cierto que no existe un número entero negativo x que
cumpla con la condición x³ > 0.