Predicados

Cuanticadores

Preguntas

Matemticas Discretas, Lgica: Predicados y Cuanticadores

Prof. Vctor Bravo1
1 Universidad

de los Andes

A-2008

Predicados

Cuanticadores

Preguntas

Licencia de Uso

Copyright (c), 2007. 2008, ULA.

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the section entitled "GNU Free Documentation License". Una copia de la licencia puede obtenerse en los siguientes sitios en Internet: http://www.gnu.org/copyleft/fdl.html http://www.fsf.org/licensing/licenses/fdl.html

Predicados

Cuanticadores

Preguntas

Agenda

Predicados Tautologas y Contradicciones Deniciones Cuanticadores Deniciones Implicaciones y Equivalencias Lgicas Preguntas

Predicados Tautologas y Contradicciones

Cuanticadores

Preguntas

Tautologas tiles

Tautologas tiles Ley del absurdo Ley de la importacin Ley de la exportacin Ley del silogismo hipottico Ley de la adjuncin Ley de la simplicacin Modus tollendo pollens Modus tollendo tollens Ley de la separacin (p q q ) p (p (q r )) (p q r ) (p q r ) (p (q r )) (p q ) (q r ) (p r ) pq pq pq p p (p q ) q q (p q ) p p (p q ) p

Predicados Tautologas y Contradicciones

Cuanticadores

Preguntas

Tipos de elementos en la lgica de Predicados

Constantes Objetos concretos, formando un universo de discurso, un conjunto U. Variables Objetos genricos que normalmente denotamos con las letras x, y, z, . . . y que podrn sustituirse por objetos de U.

Predicados Tautologas y Contradicciones

Cuanticadores

Preguntas

Predicados

Qu es un predicado? Los predicados son sentencias abiertas, en las que se incluyen una o ms variables. Tambin se les llama funcin proposicional. Estos enunciados no son ni verdaderos ni falsos, si no se especican los valores de las variables. Un predicado se convierte en una proposicin cuando todas las variables que aparecen en l, se remplazan por opciones permisibles del universo de discurso.

Predicados Tautologas y Contradicciones

Cuanticadores

Preguntas

Representacin de predicados

Cmo se representan los predicados? Los predicados se representan por smbolos del tipo p(x), q(x) o p(x,y), q(x,y,z), etc. Por ejemplo: Si p(x) = x > 100, p(x) se convierte en proposicin al sustituir x por algn nmero natural. p(101) es Verdadera. p(50) es Falsa.

Predicados Deniciones

Cuanticadores

Preguntas

Denicin de cuanticador

Qu es un cuanticador? Otra forma de crear una proposicin o de cerrar una funcin proposicional abierta, es la Cuanticacin. Una proposicin abierta se cierra, si todas sus variables se cuantican. Trataremos con dos tipos de cuanticadores:
1 2

Existencial Universal

Predicados Deniciones

Cuanticadores

Preguntas

Cuanticador Existencial

Qu es un cuanticador existencial? Denota que existe al menos un elemento x del Universo, para el cual p(x) es verdadera. Notacin: x p(x ) x y p(x , y ) x , y p(x , y )

Predicados Deniciones

Cuanticadores

Preguntas

Cuanticador Existencial

En lenguaje natural decimos... Formas de expresarlo: Hay un x Para algn x Para al menos un x Existe un x tal que Resumiendo... La proposicin es Verdadera, si existe al menos un elemento x del universo tal que p(x ) sea verdadera. De lo contrario es falsa.

Predicados Deniciones

Cuanticadores

Preguntas

Cuanticador Existencial

Veamos un ejemplo Si p(x ) es x < 100 Tenemos... Cerramos p(x ) al escribir x p(x ), donde el universo consiste en todos los nmeros reales. Importante Siempre debemos denotar el universo del discurso, ya que para algunos universos la proposicin puede ser verdadera y para otros universos es falsa.

Predicados Deniciones

Cuanticadores

Preguntas

Cuanticador Universal

Qu es un cuanticador universal? Indica que una proposicin es Verdadera para todos los valores de una variable en un universo en particular. p(x ) es verdadera, para todos los valores de x en el dominio. Notacin x p(x ) x , y p(x , y ) x , y p(x , y )

Predicados Deniciones

Cuanticadores

Preguntas

Cuanticador Universal En lenguaje natural decimos... Formas de expresarlo: Para todo x Para cada x Para cualquier x Para todo x y y Para todo x ,y Resumiendo... La proposicin es Verdadera, si para cada reemplazo de x, p(x) es verdadera. Es falsa, si existe al menos un x para el cual p(x) es falsa.

Predicados Deniciones

Cuanticadores

Preguntas

Traducciones de Cuanticadores

Frase de ejemplo Todo estudiante de la clase de Matemticas Discretas vive en Mrida Traduccin: Se dene el dominio: todas las personas p(x ) : estudiante de la clase de Matemticas Discretas q (x ) : vive en Mrida Frase lgica Para todo persona x , si la persona x es un estudiante de la esta clase, entonces la persona x vive en Mrida.

Predicados Deniciones

Cuanticadores

Preguntas

Traducciones de Cuanticadores

Lo que se traduce en: x p(x ) q (x ) donde: x : dominio: de todas las personas p(x ) : es estudiante de la clase de Matemticas Discretas q (x ) : vive en Mrida

Predicados Deniciones

Cuanticadores

Preguntas

Ejemplo 2 Cuanticadores

Frase en lenguaje natural Algn venezolano es medallista olmpico Se traduce en: Existe al menos un venezolano que cumple con la condicin de ser medallista olmpico Las variables Existe al menos un venezolano x que cumple la condicin que x es medallista olmpico

Predicados Deniciones

Cuanticadores

Preguntas

Ejemplo 2 Cuanticadores ...contina...

Predicados q(x) x es un futbolista p(x) x es venezolano Construyamos la proposicin El dominio es de todas las personas, entonces: x (p(x ) q (x ))

Predicados Implicaciones y Equivalencias Lgicas

Cuanticadores

Preguntas

Como funcionan las tautologas y contradicciones?

Si la implicacin lgica p(x ) q (x ) es verdadera para cada x del universo, entonces se escribe: Implicacin [p(x ) q (x )] y se dice que p(x ) implica lgicamente a q (x )

Predicados Implicaciones y Equivalencias Lgicas

Cuanticadores

Preguntas

Equivalencias lgicas

Dos proposiciones p(x ) y q (x ) son lgicamente equivalente, si se escribe: Equivalencia x [p(x ) q (x )] Cuando la bicondicional p(x ) q (x ) es verdadera para cada x del universo.

Predicados

Cuanticadores

Preguntas

Preguntas, Dudas y Comentarios

Si un hombre se imagina una cosa, otro la tornar en realidad. Julio Verne