THOMAS TURKINGTON 20488982.

Ejercicios Propuestos N 2 Estructuras Discretas I Saia LCDA. MARIA VICTORIA PAREDES

UTILIZAR LOS CUANTIFICADORES PARA SIMBOLIZAR LAS SIGUIENTES
PROPOSICIONES:
a) Para cada x, x tiene un nombre.
() (())

b) Existen climas absolutamente fros y donde no se puede vivir.

()(() ())
c) Para cada y, y pertenece a un conjunto de pases.
()(())
d) Nadie es eterno en el mundo
(x)(() ())

e) Ningn limn es dulce

()(() ())
f) Ningn gato es canino

()(() ())
g) Todos los caballos son cuadrpedos.

()(() ())
h) Existen hombres sabios.

()(() ())
i) No existen jvenes perezosos.

()((x) ())
j) Existe un nmero natural menor o igual que cualquier nmero natural.

()*() (())+

k) Para todo nmero real, existe un nmero real tal que su suma es igual a cero.

()*() (() )+ Idempotencia (R(x)R(x)0


l) Si x , y son enteros positivos, existe un entero positivo n tal que nx > y .

() , () ( -)


m) Para todo nmero entero existe otro nmero entero mayor que l.

()(() ())

FORMALIZAR LAS CUASI PROPOSICIONES COMO PROPOSICIONES, REPRESENTAR SU NEGACIN
SIMBLICA, Y UNA VEZ NEGADAS ESCRIBIRLAS EN LENGUAJE VERBAL ORDINARIO O COMN.
a) Para Todos los x se cumple que si se puede escuchar, se puede cantar y tocar.
Formalizado: Todos los musicos que escuchan, entonces cantan y tocan.
E(x)= se escucha
C(x):se canta
T(x):se toca
()(() (() ()))
Negacion simbolica: ()(() (() ()))
Negacion verbal: No es cierto que algunos musicos escuchan & no cantan y tocan.

b) No es cierto para algunos x que, si les gusta cantar y les gusta bailar, se quedan sentados
en las fiestas.
Formalizado: No es cierto que algunos hombres les gusta bailar y cantar & se quedan
sentados en las fiestas
C(x): les gusta cantar
B(x):les gusta bailar
S(x):se quedan sentados en las fiestas
()(( ) )
Negacion simbolica: ()((() ()) ())
Negacion: Si a todos los hombres les gusta cantar y bailar, entonces no se quedan sentados en las
fiestas.

c) Todos los y, o no son arrogantes o son congniales.
Formalizado: Todos los profesores o no son arrogantes o son congeniales.
A(x):son arrogantes
C(x):son congeniales
()(() ())

Negacion simbolica: ()(() ())
Negacion: No es cierto que algn profesor es arrogante y no es congenial.

d.) No existen M tales que, son amigables y les gusta pelear.
Formalizado: No existen mujeres que son amigables y les gusta pelear.
A(x):son amigables
P(x):les gusta pelear
(),() (() ()-
Negacion simbolica: (),() (()P(x)
Negacion verbal:
Todas las mujeres que no son amigables les gusta pelear.
e) Para todo x, si le quitan un rgano vital, entonces vive una vida normal o sufre toda la vida.
Formalizado: Toda persona que se le quite un rgano vital, entonces vive normal o sufre toda la
vida.
O(x): rgano vital
VN(x):vive normal
S(x):sufre
Negacion simbolica (),(()()) (() ())-
Lenguaje verbal: No le quitaran a la persona un rgano vital, & vivir normal y no sufrir toda la
vida
f) Para algunos y, no se van a vivir al polo norte, a menos que su promedio de vida disminuya.
Formalizacion: Algunas personas no se van a vivir al polo norte y por tanto su promedio de vida
disminuye.
N(x): vivir polo norte
P(x): disminuye promedio de vida

Negacin simbolica: (),N(x) ()-
Negacion verbal: No todas las personas se van a vivir al polo norte, por lo que su promedio de vida
no disminuye

g) No se cumple en ningn caso que los x, no sean mamferos, ni sean cuadrpedos.
Formalizacion: En ningn caso las vacas no son mamferos ni cuadrpedos.
M(x): x son Mamiferos
C(x): x son cuadrpedos
(),() () ()]
Negacion verbal: Todas la vacas son mamferos y cuadrupedos
h) No existen x que a la vez sean vegetarianos y, no se alimentan de: soya o cereales.
Formalizacion: No existen hombres que sean vegetarianos y no se alimenten de soya o cereales.
V(x): x vegetariano
A(x): x se alimenten de soya o cereales
Negacion simbolica: (),() ()-
Negacion verbal:
Todos los hombres que no son vegetarianos entonces no se alimentan de soya y cereales.

NIEGA LAS PROPOSICIONES
A.)
( ) ( ) x Q x P x v - /


Negacion: () ()

B.)
( ) ( ) x Q x P x :


Negacion: () () ()

C.)

0 / : = - y x y x


Negacion
:
,