Universidad Fermn Toro Vice-rectorado Acadmico Decanato de Ingeniera Departamento de mantenimiento mecnico

ASIGNACION 2

UTILIZAR LOS CUANTIFICADORES PARA SIMBOLIZAR LAS SIGUIENTES PROPOSICIONES: a) Para cada x, x tiene un nombre. Sol: Sea la funcin proposicional p(x): x tiene un nombre b) Existen climas absolutamente fros y donde no se puede vivir. Sol: Consideremos las funciones proposicionales p(x): x absolutamente fros y q(x): x donde no se puede vivir, donde la variable x es clima. Entonces simbolizamos c) Para cada y, y pertenece a un conjunto de pases. Sol: Sea S el conjunto formado por pases, consideremos la funcin proposicional Luego simbolizamos d) Nadie es eterno en el mundo Sol: Consideremos la variable Simbolizamos e) Ningn limn es dulce Sol: Hagamos x la variable limn. Consideremos la funcin proposicional Q(x): x es dulce. As se tiene que f) Ningn gato es canino Sol: Hagamos x la variable gato y la funcin proposicional

x:

persona,

la

funcin

proposicional

g) Todos los caballos son cuadrpedos. Sol: Hagamos w la variable caballo, y la funcin proposicional Entonces h) Existen hombres sabios. Sol: Sea h la variable hombre. La funcin proposicional

Luego

i)

No existen jvenes perezosos. Sol: Sea z la variable jvenes y la funcin proposicional Luego Existe un nmero natural menor o igual que cualquier nmero natural. Sol: Sean x, y las variables nmeros naturales, y la funcin proposicional Entonces simbolizamos

j)

k) Para todo nmero real, existe un nmero real tal que su suma es igual a cero. Sol: Sean x, y las variables reales y la funcin proposicional Simbolizamos l) Si x , y son enteros positivos, existe un entero positivo n tal que nx > y . Sol: Sean las variables enteras positivas 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. Sol: Sean x e y las variables enteras y consideremos la funcin proposicional Simbolizamos

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. Sol: Los x pueden ser hombres. As que la proposicin ser de la forma: Para todos los hombres se cumple que si se puede escuchar, se puede cantar y tocar. Formalizando tenemos que La negacin ser de la forma

En 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. Sol: La variable x puede ser los hombres (hombre o mujer). Formalizando se tiene que: No es cierto que algunos hombres que, si les gusta cantar y les gusta bailar, se quedan sentados en las fiestas. Simbolizamos:

En lenguaje ordinario seria 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. Sol: Tomando la variable y como: los hombres Las funciones proposicionales: p(y): y es arrogante y q(y): y son congeniales Simbolizamos: Negando En 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. Sol: Consideremos la variable M Mujeres y las funciones proposicionales p(M): M son amigables y q(M): m le gusta pelear

Simbolizamos Negando En 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. Sol: 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 Simbolizamos Negando En 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. Sol: 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 Simbolizamos

Negando

En 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. Sol: Sea x la variable Caballo. Las funciones proposicionales p(x): x es mamfero y q(x): x es cuadrpedo. Simbolizamos Negando En 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. Sol: Sea x la variable personas, las funciones proposicionales p(x): x son vegetarianos y q(x): x se alimentan de: soya y cereales Simbolizamos Negamos En lenguaje ordinario Existen personas que no son vegetarianas o se alimentan de: soya y cereales.

NIEGA LAS PROPOSICIONES a) Sol: Negando b) Sol: Negando c) Sol: Negando