You are on page 1of 20

Predicados

Cuantificadores

Preguntas

Matemáticas Discretas, Lógica: Predicados y Cuantificadores
Prof. Víctor Bravo1
1 Universidad

de los Andes

A-2008

Predicados

Cuantificadores

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 Cuantificadores Preguntas Agenda 1 Predicados Tautologías y Contradicciones Definiciones Cuantificadores Definiciones Implicaciones y Equivalencias Lógicas Preguntas 2 3 .

Predicados Tautologías y Contradicciones Cuantificadores Preguntas Tautologías útiles Tautologías útiles Ley del absurdo Ley de la importación Ley de la exportación Ley del silogismo hipotético Ley de la adjunción Ley de la simplicación Modus tollendo pollens Modus tollendo tollens Ley de la separación (p → q ∧ ¬q) → ¬p (p → (q → r )) → (p ∧ q → r ) (p ∧ q → r ) → (p → (q → r )) (p → q) ∧ (q → r ) → (p → r ) p∧q →p∧q p∧q →p ¬p ∧ (p ∨ q) → q ¬q ∧ (p → q) → ¬p p ∧ (p → q) → p .

y que podrán sustituirse por objetos de U. un conjunto U. Variables Objetos genéricos que normalmente denotamos con las letras x. .Predicados Tautologías y Contradicciones Cuantificadores Preguntas Tipos de elementos en la lógica de Predicados Constantes Objetos concretos. formando un universo de discurso. . . y. z. .

. si no se especifican los valores de las variables. en las que se incluyen una o más variables. se remplazan por opciones permisibles del universo de discurso. Un predicado se convierte en una proposición cuando todas las variables que aparecen en él. También se les llama función proposicional. Estos enunciados no son ni verdaderos ni falsos.Predicados Tautologías y Contradicciones Cuantificadores Preguntas Predicados ¿Qué es un predicado? Los predicados son sentencias abiertas.

etc. q(x.Predicados Tautologías y Contradicciones Cuantificadores Preguntas Representación de predicados ¿Cómo se representan los predicados? Los predicados se representan por símbolos del tipo p(x). q(x) o p(x. p(101) es Verdadera.y).y. Por ejemplo: Si p(x) = x > 100. p(x) se convierte en proposición al sustituir x por algún número natural.z). p(50) es Falsa. .

es la Cuantificación. Trataremos con dos tipos de cuantificadores: 1 2 Existencial Universal . Una proposición abierta se cierra. si todas sus variables se cuantifican.Predicados Definiciones Cuantificadores Preguntas Definición de cuantificador ¿Qué es un cuantificador? Otra forma de crear una proposición o de cerrar una función proposicional abierta.

Notación: ∃x p(x) ó ∃x∃y p(x. para el cual p(x) es verdadera.Predicados Definiciones Cuantificadores Preguntas Cuantificador Existencial ¿Qué es un cuantificador existencial? Denota que existe “al menos” un elemento x del Universo. y ) . y p(x. y ) ↔ ∃x.

Predicados Definiciones Cuantificadores Preguntas Cuantificador Existencial En lenguaje natural decimos. si existe al menos un elemento x del universo tal que p(x) sea verdadera.... . La proposición es Verdadera. Formas de expresarlo: “Hay un x” “Para algún x” “Para al menos un x” “Existe un x tal que” Resumiendo. De lo contrario es falsa..

ya que para algunos “universos” la proposición puede ser verdadera y para otros “universos” es falsa.Predicados Definiciones Cuantificadores Preguntas Cuantificador Existencial Veamos un ejemplo Si p(x) es “x < 100” Tenemos. .. Cerramos p(x) al escribir ∃x p(x).. Importante Siempre debemos denotar el universo del discurso. donde el universo consiste en todos los números reales.

p(x) es verdadera. y ) . y ) ↔ ∀x. para todos los valores de x en el dominio.Predicados Definiciones Cuantificadores Preguntas Cuantificador Universal ¿Qué es un cuantificador universal? Indica que una proposición es Verdadera para todos los valores de una variable en un “universo” en particular. Notación ∀x p(x) ó ∀x. ∀y p(x. y p(x.

Es falsa.y ” Resumiendo.. si existe al menos un x para el cual p(x) es falsa. Formas de expresarlo: “Para todo x” “Para cada x” “Para cualquier x” “Para todo x y y ” “Para todo x..Predicados Definiciones Cuantificadores Preguntas Cuantificador Universal En lenguaje natural decimos.. si para cada reemplazo de x. La proposición es Verdadera.. p(x) es verdadera. .

. entonces la persona x vive en Mérida.Predicados Definiciones Cuantificadores Preguntas Traducciones de Cuantificadores Frase de ejemplo Todo estudiante de la clase de Matemáticas Discretas vive en Mérida Traducción: Se define el dominio: todas las personas p(x) : estudiante de la clase de Matemáticas Discretas q(x) : vive en Mérida Frase lógica Para todo persona x. si la persona x es un estudiante de la esta clase.

Predicados Definiciones Cuantificadores Preguntas Traducciones de Cuantificadores 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 Matemáticas Discretas q(x) : vive en Mérida .

Predicados Definiciones Cuantificadores Preguntas Ejemplo 2 Cuantificadores Frase en lenguaje natural Algún venezolano es medallista olímpico Se traduce en: Existe al menos un venezolano que cumple con la condición de ser medallista olímpico Las variables Existe al menos un venezolano x que cumple la condición que x es medallista olímpico .

. Predicados q(x) x es un futbolista p(x) x es venezolano Construyamos la proposición El dominio es de todas las personas..Predicados Definiciones Cuantificadores Preguntas Ejemplo 2 Cuantificadores . entonces: ∃x(p(x) ∧ q(x)) ...continúa.

Predicados Implicaciones y Equivalencias Lógicas Cuantificadores Preguntas ¿Como funcionan las tautologías y contradicciones? Si la implicación lógica p(x) → q(x) es verdadera para cada x del universo. entonces se escribe: Implicación ∀[p(x) → q(x)] y se dice que p(x) implica lógicamente a q(x) .

si se escribe: Equivalencia ∀x[p(x) ↔ q(x)] Cuando la bicondicional p(x) ↔ q(x) es verdadera para cada x del universo. .Predicados Implicaciones y Equivalencias Lógicas Cuantificadores Preguntas Equivalencias lógicas Dos proposiciones p(x) y q(x) son lógicamente equivalente.

Julio Verne . otro la tornará en realidad. Dudas y Comentarios Si un hombre se imagina una cosa.Predicados Cuantificadores Preguntas Preguntas.