UNIVERSIDAD AUSTRAL DE CHILE

FACULTAD DE CIENCIAS DE LA INGENIERIA

CENTRO DE DOCENCIA DE CIENCIAS BASICAS PARA INGENIERIA.
Primer Semestre 2012

Control 1 BAIN 017

L
ogica, cuantificadores y conjuntos.

1. Determine el valor de verdad y niegue cada una de las siguientes proposiciones:

a) (x N) (x2 + 10x + 16 = 0)
b) (x N) (2 > 5 x2 x)
Justifique adecuadamente cada una de sus respuestas.

Sol:
a) Falso, ya que las soluciones de la ecuacion son x = 8 y x = 2 que ni pertenecen n
umeros
naturales. La negacion es:

(x N) (x2 + 10x + 16 > 0) (x2 + 10x + 16 < 0)

b) Verdadero, puesto que p(x) : 2 > 5 es falsa y q(x) : x2 x es verdadera x N. Por lo tanto:

p q
F V
V

La negaci
on viene dada por:
(x N) (2 > 5 x2 < x)
 UNIVERSIDAD AUSTRAL DE CHILE
FACULTAD DE CIENCIAS DE LA INGENIERIA

CENTRO DE DOCENCIA DE CIENCIAS BASICAS PARA INGENIERIA.
Primer Semestre 2012

Control 1 BAIN 017

L
ogica, cuantificadores y conjuntos.

1. Determine el valor de verdad y niegue cada una de las siguientes proposiciones:

a) (x N0 )(3x2 2x = 0 x < 1)
b) (n N) (n2 + n > 7).
Justifique adecuadamente cada una de sus respuestas.

Sol:
on es verdadera ya que si x = 0, entonces 3x2 2x = 0 y 0 < 1. La negacion viene
a) La proposici
dada por:
(x N0 )(3x2 2x 6= 0 x 1)

b) Falso, pues considerando n = 1 nos queda n2 + n = 2 < 7. La negacion es:

(n N) [(n2 + n < 7) (n2 + n = 7)]

 UNIVERSIDAD AUSTRAL DE CHILE
FACULTAD DE CIENCIAS DE LA INGENIERIA

CENTRO DE DOCENCIA DE CIENCIAS BASICAS PARA INGENIERIA.
Primer Semestre 2012

Control 1 BAIN 017

L
ogica, cuantificadores y conjuntos.

1. Dada la funci
on proposicional

p(n) : (n N) (n2 + n < 7)

a) Determine el valor de verdad.

b) Encuentre el m
aximo conjunto posible (en N) donde se cumple la proposicion.
c) Niegue la proposici
on.
Justifique adecuadamente cada una de sus respuestas.

Sol:
a) Falso, pues considerando n = 3 nos queda n2 + n = 12 > 7.

b) Notemos que 12 + 1 < 22 + 2 < 32 + 3 < . . ., con 22 + 2 = 6 < 7 y 32 + 3 = 12 > 7. Entonces

on n < 3, es decir, el maximo conjunto posible es A = {1, 2}.
se cumple la proposici
c) La negaci
on viene dada por:

(n N) [(n2 + n > 7) (n2 + n = 7)]

 UNIVERSIDAD AUSTRAL DE CHILE
FACULTAD DE CIENCIAS DE LA INGENIERIA

CENTRO DE DOCENCIA DE CIENCIAS BASICAS PARA INGENIERIA.
Primer Semestre 2012

Control 1 BAIN 017

L
ogica, cuantificadores y conjuntos.

1. Sea A = {1, 2, 3, 4, 5, 6} el conjunto universo. Determine el valor de verdad de cada una de las
siguientes proposiciones:
a) (x A)(x2 + 3x = 4)
2
5
b) (x A)( xx4 = 20)
c) (!x A)(x2 5x + 4 = 0)

Justifique adecuadamente cada una de sus respuestas.

Sol:
a) Falso, basta considerar x = 2, as x2 + 3x = 10 6= 4.
b) La proposici
on es verdadera para x = 5.
on x2 5x + 4 = (x 1)(x 4) = 0 las soluciones son x = 1 y
c) Falso, pues al resolver la ecuaci
x = 4 que pertenecen al conjunto A.