UNIVERSIDAD FERMIN TORO

REA: TECNOLOGA
ESTUDIOS A DISTANCIA
ASIGNATURA: ESTRUCTURAS DISCRETAS I











EJERCICIOS 2









Realizado por:
Alexander Hernndez
C.I. 10565198

UTILIZAR LOS CUANTIFICADORES PARA SIMBOLIZAR LAS SIGUIENTES
PROPOSICIONES:


a) Para cada x, x tiene un nombre.


( ) ( ) ( ) ) (x N x S x
S(x): x es un nmero
N(x): x tiene nombre

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

( ) ( ) ( ) ) (x V x CF x . -
CF(x): x es un clima absolutamente frio
V(x): x es Vivir en el clima

c) Para cada y, y pertenece a un conjunto de pases.

( ) ( ) ( ) ( ) y CP y y P y e
P(y): y es un pas
CP(y): y es conjunto de pases

d) Nadie es eterno en el mundo

( ) ( ) ( ) ) (x E x P x

P(x): x es Persona o alguien
E(x): x es Eterno (persona inmortal)


e) Ningn limn es dulce

( ) ( ) ( ) ) (x D x L x

L(x): x es Limn
D(x): x es Dulce (en la proposicin est negado)

f) Ningn gato es canino

( ) ( ) ( ) ) (x C x G x

G(x): x es Gato
C(x): x es Canino

g) Todos los caballos son cuadrpedos.

( ) ( ) ( ) ) (x D x C x
C(x): x es Caballo
D(x): x es Cuadrpedo

h) Existen hombres sabios.

( ) ( ) ( ) ) (x S x H x . -
H(x): x es Hombre
S(x): x es Sabio

i) No existen jvenes perezosos.

( ) ( ) ( ) ) (x P x J x . -
J(x): Jvenes
P(x): Perezosos

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

( )( )( ) y x N y y N x x s e . e - ) (

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

( ) ( ) ( ) ( ) ( ) 0 = + 9 e - . 9 e y x y y x x

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

( ) ( ) ( ) ( ) ( ) y nx Z n n Z y x y x > e - . e
+ +
, ,

m) Para todo nmero entero existe otro nmero entero mayor que l.
( ) ( ) ( ) ( ) ( ) y z Z y y Z x x > e - . e






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.
E(x): x escucha
C(x): x canta
T(x): x toca
Formalizado: Todos los hombres que escuchan entonces cantan y tocan
Negacin simblica: ( ) ( ) ( ) ( ) ( )) ( x T x C x E x . .
Verbal de la negacin: No todos los hombres que escuchan, entonces 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.
C(x): x canta
B(x): x baila
S(x): x sentado
Formalizado: No es cierto que para algunas personas que les gusta cantar y
bailar, entonces se quedan sentados en fiestas.
Negacin simblica: ( ) ( ) ( ) ( ) ( )) ( x S x B x C x . . -
Verbal de la negacin: Existen personas que les gusta cantar y bailar, entonces se
no se quedan sentados en las fiestas.

c) Todos los y, o no son arrogantes o son congniales.
A(x): x arrogante
C(x): x congenial
Formalizado: Toda persona es arrogante o congenial.
Negacin simblica: ( ) ( ) ( ) ( )) ( x C x A x .
Verbal de la negacin: Toda persona es arrogante y congenial.

d) No existen M tales que, son amigables y les gusta pelear.
A(x): x amigable
P(x): x peleador
Formalizado: No existen mujeres que sean amigables y peleadoras
Negacin simblica: ( ) ( ) ( ) ( )) ( x P x A x . -
Verbal de la negacin: Existen mujeres que sean amigables y peleadoras

e) Para todo x, si le quitan un rgano vital, entonces vive una vida normal o
sufre toda la vida.
N(x): x normal
S(x): x sufre
E(x): x extrado rgano vital
Formalizado: Para toda persona que tenga un rgano vital extrado, entonces vive
normal o sufre toda su vida.
Negacin simblica: ( ) ( ) ( ) ( ) ( ) ( ) x P x A x E x v .
Verbal de la negacin: No para toda persona que tenga un rgano vital extrado,
entonces no vive normal o sufre toda su vida.

f) Para algunos y, no se van a vivir al polo norte, a menos que su promedio
de vida disminuya.

V(x): x vive en el polo norte
M(x): x vive menos
Formalizado: Para algunas personas que no se mudan al polo norte, entonces no
su promedio de vida disminuye
Negacin simblica: ( ) ( ) ( ) ( ) x P x V x -
Verbal de la negacin: No para algunas las personas que se mudan al polo norte
su promedio de vida disminuye.

g) No se cumple en ningn caso que los x, no sean mamferos, ni sean
cuadrpedos.
Formalizado: No se cumple en ningn caso que los animales, no sean mamferos,
ni sean cuadrpedos.
A(x): x animal
M(x): mamfero
C(x): Cuadrpedo
Negacin simblica: ( ) ( ) ( ) ( ) ( ) ( ) x C x M x A x .
Verbal de la negacin: Para todo caso los animales son mamferos y sean
cuadrpedos

h) No existen x que a la vez sean vegetarianos y, no se alimentan de: soya o
cereales
Formalizado: No existen animales que a la vez sean vegetarianos y, no se
alimentan de: soya o cereales
A(x): x animal
V(x): x vegetariano
S(x): x soya
C(x): x cereal
Negacin simblica: ( ) ( ) ( ) ( ) ( ) ( ) x C x S x A x . -
Verbal de la negacin: Existen animales que son vegetarianos y se alimentan de
soya y cereal
NIEGA LAS PROPOSICIONES
a) ( ) ( ) x Q x P x v - /
Negacin: ( ) ( ) x Q x P x . - /
b) ( ) ( ) x Q x P x :
Negacin: ( ) ( ) x Q x P x . :
c) 0 / : = - y x y x
Negacin: 0 / : = y x y x