Matemticas discretas

UNIDAD 1 LOGICA MATEMATICA

1.3 Cuantificadores Logica de predicados

Esta lgica nos permite hacer afirmaciones con respecto a relaciones entre objetos o sus propiedades que satisfacen elementos de un determinado universo. Los objetos pueden ser personas, objetos fsicos, o conceptos, tales relaciones o propiedades, se denominan predicados, los objetos se conocen como argumentos o trminos del predicado. Anteriormente analizamos cuando las expresiones pueden ser aceptadas como proposiciones en base a una serie de caractersticas que se deben cumplir, y dejemos en claro que es posible encontrarnos expresiones que a pesar de que aseveran algo no pueden ser establecidas como verdaderas o falsas, expresiones que involucran variables tales como: x > 3 x = y + 3 Son expresiones que encontradas frecuentemente en declaraciones matemticas y programas computacionales, pero como los valores de sus variables no son especificados, no podemos catalogarlas como verdaderas o falsas. De igual forma debemos tener en claro que una proposicin atmica se compone de sujeto y predicado, tal y como nos ensearon en la primaria, por lo tanto al decir x > 3 nos encontramos en un caso de ambigedad ya que x puede ser cualquier valor y por lo tanto no conocemos al sujeto del que se habla en la expresin. A pesar de lo anterior el hecho es que para x > 3 la expresin tiene 2 partes: 1. La variable x es el sujeto de la expresin. 2. El operador >3 es el predicado (propiedad que el sujeto de la expresin puede tener). Por tal motivo a este tipo de expresiones se les llama cuasi-proposiciones cumplen con las partes de una proposicin pero sin llegar a serlo por no estar claramente definidas.

Funcin proposicional
Una funcin proposicional es una expresin que contiene una o ms de una variable que al ser sustituidas por elementos del universo (U) dan origen a una proposicin. La funcin proposicional no es una proposicin, por lo tanto, no se puede decir nada acerca de su valor de verdad. Para las expresiones del tipo x > 3 el valor verdadero o falso est determinado por los valores de la variable, en este ejemplo x, por lo tanto se dice que el valor del predicado est en funcin de la variable. Una funcin proposicional se simboliza mediante letras maysculas P, Q, R, S, etc. Ejemplo: P(x) = x > 3 Para P(4) = verdadero P(2) = falso Una vez que un valor le es asignado a la variable x, la expresin P(x) se convierte en una proposicin y tiene su valor de verdad.
Aurelio Lpez Ovando LOGICA MATEMATICA

La expresin P(x) es el valor de la funcin proposicional P en x.

Unidad 1

Matemticas discretas

En general una expresin puede involucrar n variables x1, x2, ..... xn, puede ser denotado por P(x1, x2, ..... xn). Una expresin de la forma P(x1, x2, .... xn) es el valor de la funcin proposicional P en la n-tupla (x1, x2, ..... xn) y P es tambin llamado un predicado. Ejemplo: P(x)=x = y + 3 P(x,y) La funcin proposicional P(4,6) es falsa.

Cuasi-proposicin
Es un enunciado, una oracin declarativa, o una expresin simblica que debe ejemplificarse o cuantificarse para que sea una proposicin. Cuantificarse se refiere a decir a cuntos individuos que integran el universo es aplicable, y ejemplificar, se refiere a enunciar el sujeto de la expresin. Se cuantifica una cuasi-proposicin para categorizar cualidades y generalizar o particularizarla, de tal manera que hablamos de unos elementos que cumplen una cierta caracterstica. Ejemplo: Tenemos la expresin P(x)=Los x son seres vivos, que nacen, crecen, se reproducen y mueren Donde: Ejemplificamos x Son Hombres (Del universo humanos). Ahora generalizamos (cuantificamos) y no puede quedar: Todos los hombres son seres vivos que nacen, crecen, se reproducen y mueren. Algunos hombres son seres vivos que naces, crecen, se reproducen y mueren.

Cuantificadores
A travs de la cuantificacin tambin se pueden crear proposiciones desde una funcin proposicional, este procedimiento para convertir un predicado en una proposicin recibe el nombre de generalizacin, puesto que es un modo de hablar "en general", sin especificar el nombre propio de nuestro sujeto lgico, de las muchas formas que puede revestir el procedimiento de generalizacin, dos son especialmente tiles: cuantificador universal y cuantificador existencial.

Cuantificacin universal
Es la proposicin que es verdadera para todos los valores de x en el universo de discurso. Se denota con el smbolo x y se lee Para todo x, o bien otra forma de leer esta expresin es: Para cada x, aunque otras formas de interpretarlo es mediante las palabras "ningn", "ninguno", "nada", "nadie" las cuales denotan negacin y que tambin podran simbolizarse con un cuantificador existencial. Ejemplos: 1. Formalizar la expresin: Los estudiantes de mecatrnica ha estudiado programacin como una cuantificacin universal. Sea P(x) = x ha estudiado programacin. Donde x = Alumnos del ITESCAM.
Aurelio Lpez Ovando LOGICA MATEMATICA

Unidad 1

Matemticas discretas

Entonces se puede expresar como: estudiado programacin.

xP(x) que se lee Todos los alumnos del ITESCAM han

Otra respuesta (que de hecho es la ms correcta) que podemos plantear es: Sean: P(x)=x ha estudiado programacin Q(X)=x es estudiante de mecatrnica Donde x = Alumnos del ITESCAM. x(Q(x) P(x)) la cual podemos leer Para cada alumno del ITESCAM, si es estudiante de mecatrnica entonces ha estudiado programacin. 2. Expresar todos los gatos tienen cola en clculo de predicados. Sean G(x) = x es un gato. C(x) = x tiene cola. Donde x = Animales carnvoros x( G(x) C(x) ) Nota: El smbolo significa Entonces o En conclusin

Cuantificador Existencial
La cuantificacin existencial de P(x) Es la proposicin en que existe un elemento x en el universo de discurso tal que P(x) es verdad. Se denota con el smbolo x y se lee de las siguientes maneras: hay un x tal que...), hay al menos un x tal que o para algn x. Ejemplos: 1. Formalizar la expresin: Algunos estudiantes de mecatrnica han estudiado programacin como una cuantificacin existencial. Sea P(x) = x ha estudiado programacin. Donde x = Alumnos del ITESCAM. Entonces se puede expresar como: xP(x) que se lee Existen algunos alumnos del ITESCAM que han estudiado programacin. 2. Expresar Algunos gatos no tienen cola en clculo de predicados. Sean C(x) = x es un gato que no tiene cola. Donde x = Animales carnvoros x(C(x) )

Negacin de los cuantificadores

La negacin del cuantificador universal es equivalente a la afirmacin de cuantificador existencial, respecto de la proposicin negada; y viceversa. Tanto las proposiciones universales como las existenciales posee su negativa respectiva, y se simboliza negando la segunda proposicin (el consecuente en el caso del condicional). Ejemplo: 1. Formalizar la expresin No todos son alumnos".
Aurelio Lpez Ovando LOGICA MATEMATICA

Unidad 1

Matemticas discretas

Sea P(x)=x es alumno Donde x= personas del universo ITESCAM. x(Px).

Si lo miramos desde otra perspectiva podemos afirmar que No todas las personas del ITESCAM son alumnos es equivalente a afirmar que Existe al menos una persona del ITESCAM que no es alumno la cual expresaramos de la siguiente manera: x P(x) Es decir que x(Px) x P(x) 2. Formalizar la expresin "Ninguno es alumno". Sea P(x)=x es alumno. Donde x= personas del universo ITESCAM. x P(x) Que al igual que el caso anterior, podemos verlo desde otra perspectiva y afirmar que Todos las personas del ITESCAM no son alumnos expresndola de la siguiente manera: x(P(x)). Es decir que: x P(x) x(P(x))

Proposiciones que contienen cuantificadores

En la lgica de predicados, las proposiciones utilizan un conjunto de smbolos que aparecern en distintas formalizaciones siguiendo reglas sintcticas de construccin. De esta manera podemos hacer combinaciones de variables, conectivos, cuantificadores, etc Ejemplo: Dada la expresin Cada estudiante del ITESCAM tiene una computadora o tiene al menos un amigo que tiene una computadora, formalizarla utilizando cuantificadores. Donde: C(x) es x tiene una computadora. F(y) es y son amigos que tienen una computadora del universo estudiantes del ITESCAM. x(C(x) y(F(y))

Aurelio Lpez Ovando

LOGICA MATEMATICA

Unidad 1

Matemticas discretas

Ejercicios 3
1. Escriba V si es verdadero o F si es falso cada uno de los enunciados: a) b) c) d) e) f) g) h) a) Los predicados tambin sirven para asignar una cualidad abstracta a sus trminos. b) La negacin del cuantificador existencial e equivalente a la afirmacin del universal. c) Las funciones proposicionales siempre son verdaderas. d) Se considera al silogismo como una forma de razonamiento inductivo. e) De dos premisas negativas, en el silogismo, la conclusin es afirmativa. f) No se puede concluir si ambas premisas del silogismo son particulares. g) Los postulados tienen concepto ms amplio que los axiomas. h) Un teorema tiene forma de condicional o bicondicional. ( ( ( ( ( ( ( ( ) ) ) ) ) ) ) )

2. Simbolizar las siguientes expresiones e indicar si son funciones proposicionales o proposiciones:

a) b) c) d)

Fulano es muy generoso. x es par y 6 tambin. x e y son impares. 2 es un nmero par y primo.

3. Convertir cada una de las cuasi-proposiciones en proposiciones, utilizando cuantificadores, decir si son verdaderas o falsas: a) x es un senador Colombiano b) x es un estudiante de la universidad Gran Colombia c) y es un buen libro d) x es un nmero mayor o igual a 4. 4. 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 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. 5. Formalizar las cuasi proposiciones como proposiciones, representar su negacin simblica, y para cada caso escribirlas en lenguaje verbal. a) Para Todos los x se cumple que si se puede escuchar, se puede cantar y tocar. b) No es cierto para algunos x que, si les gusta cantar y les gusta bailar, se quedan sentados en las fiestas. c) Todos los y, o no son arrogantes o son congniales. d) No existen M tales que, son amigables y les gusta pelear. e) Para todo x, si le quitan un rgano vital, entonces vive una vida normal o sufre toda la vida. f) Para algunos y, no se van a vivir al polo norte, a menos que su promedio de vida disminuya. g) No se cumple en ningn caso que los x, no sean mamferos, ni sean cuadrpedos. h) No existen x que a la vez sean vegetarianos y, no se alimentan de: soya o cereales.

Aurelio Lpez Ovando

LOGICA MATEMATICA

Unidad 1