UNIVERSIDAD FERMIN TORO

SOLUCIN A LOS EJERCICIOS PROPUESTOS DE CUANTIFICADORES

Bachiller: Jose Augusto Chaurio Carre Cdula: 18.998.433

UTILIZAR

LOS

CUANTIFICADORES

PARA

SIMBOLIZAR

LAS

SIGUIENTES

PROPOSICIONES: a) Para cada x, x tiene un nombre. Respuesta: Funcin proposicional P(x): x tiene un nombre b) Existen climas absolutamente fros y donde no se puede vivir. Respuesta: Consideremos la variable x clima y las funciones proposicionales P(x): x absolutamente fros y Q(x): x donde no se puede vivir, donde. Entonces c) Para cada y, y pertenece a un conjunto de pases. Respuesta: Hagamos C el conjunto de pases y consideremos la , donde y es la variable pas. Entonces d) Nadie es eterno en el mundo Respuesta Consideremos la variable Entonces e) Ningn limn es dulce Respuesta: x es la variable limn. Consideremos la funcin proposicional Q(x): x es dulce. As se tiene que f) Ningn gato es canino Respuesta: x es la variable gato y la funcin proposicional

funcin proposicional

persona,

la

funcin

proposicional

g) Todos los caballos son cuadrpedos. Respuesta: r es la variable caballo, y la funcin proposicional A Entonces h) Existen hombres sabios. Respuesta:

x es la variable hombre. La funcin proposicional Luego

i)

No existen jvenes perezosos. Respuesta: x es la variable jvenes y la funcin proposicional as Existe un nmero natural menor o igual que cualquier nmero natural. Respuesta: x e y son las variables nmeros, y la funcin proposicional Entonces

j)

k) Para todo nmero real, existe un nmero real tal que su suma es igual a cero. Respuesta: x e y son las variables numeros y la funcin proposicional Entonces l) Si x, y son enteros positivos, existe un entero positivo n tal que nx > y . Respuesta: Las variables enteras son x e y y n una variable entera, luego la funcin proposicional es de la forma Simbolizamos

m) Para todo nmero entero existe otro nmero entero mayor que l. Respuesta: Sean x e y las variables enteras y consideremos la funcin proposicional Entonces

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. Respuesta: Los x pueden ser hombres (Mujeres). La proposicin ser de la forma: Para todos los hombres se cumple que si se puede escuchar, se puede cantar y tocar. Formalmente Negando

Lenguaje ordinario Para algunos x se tiene que no se puede escuchar o no se puede cantar o tocar. b) No es cierto para algunos x que, si les gusta cantar y les gusta bailar, se quedan sentados en las fiestas. Respuesta: La variable x puede ser los hombres (hombre o mujer). Formalmente No es cierto que algunos hombres que, si les gusta cantar y les gusta bailar, se queden sentados en las fiestas. Negando

Lenguaje ordinario Cualquier hombre no se queda sentado en las fiestas, y les gusta cantar y bailar. c) Todos los y, o no son arrogantes o son congniales. Respuesta: Tomando la variable y como: los hombres Las funciones proposicionales: p(y): y es arrogante y q(y): y son congeniales Formalmente Negando Lenguaje ordinario Existen hombres que son arrogantes si y solo s no son congeniales

d) No existen M tales que, son amigables y les gusta pelear. Respuestas: Consideremos la variable M Mujeres y las funciones proposicionales p(M): M son amigables y q(M): m le gusta pelear Formalmente Negando Lenguaje ordinario Todas las mujeres no les gustan pelear o no son amigables.

e) Para todo x, si le quitan un rgano vital, entonces vive una vida normal o sufre toda la vida. Respuesta: Sea x la variable ser humano Las funciones proposicionales: p(x): x le quitan un rgano vital, q(x): x vive una vida normal r(x): x sufre toda la vida Formalmente Negando

Lenguaje ordinario Existen seres humanos que le quitan un rgano y ni viven una vida normal y no sufren toda la vida. f) Para algunos y, no se van a vivir al polo norte, a menos que su promedio de vida disminuya. Respuesta: Consideremos la variable y animales, las funciones proposicionales p(y): y se va a vivir al polo norte, q(y): el promedio de vida de y disminuye Formalmente Negando

Lenguaje ordinario Todos los animales que no le disminuya el promedio de vida se van a vivir al polo norte. g) No se cumple en ningn caso que los x, no sean mamferos, ni sean cuadrpedos.

Respuesta: Sea x la variable Caballo. Las funciones proposicionales p(x): x es mamfero y q(x): x es cuadrpedo. Formalmente

Negando Lenguaje ordinario Existen caballos que son mamferos y son cuadrpedos h) No existen x que a la vez sean vegetarianos y, no se alimentan de: soya o cereales. Respuesta: Sea x la variable personas, las funciones proposicionales p(x): x son vegetarianos y q(x): x se alimentan de: soya y cereales Formalmente Negando

Lenguaje ordinario Existen personas que no son vegetarianas o se alimentan de: soya y cereales.

NIEGA LAS PROPOSICIONES a) Respuesta: Negando b)

Respuesta: Negando

c)
Respuesta: Negando