FUNDAMENTOS DE LA LÓGICA DE PREDICADOS

Vista previa del material en texto

FUNDAMENTOS DE LA LÓGICA DE PREDICADOS: CONCEPTOS, EJEMPLOS Y 
APLICACIONES PRÁCTICAS 
INTRODUCCIÓN 
En esta presentación exploraremos los fundamentos de la lógica de predicados, 
sus conceptos, ejemplos y aplicaciones prácticas. Aprenderemos cómo 
utilizar cuantificadores, variables y predicados para representar proposiciones 
complejas. 
LÓGICA DE PREDICADOS 
La lógica de predicados es una extensión de la lógica proposicional que permite 
analizar enunciados más complejos. Utiliza cuantificadores como para 
todo y existe, así como variables y predicados para expresar proposiciones. 
 
La lógica de predicados es un lenguaje formal utilizado en matemáticas y ciencias 
de la computación para representar y razonar sobre proposiciones complejas. Se 
basa en la idea de cuantificar sobre variables y predicados para expresar 
afirmaciones de una manera más precisa que la lógica proposicional. 
 
Variables y Predicados 
Las variables son símbolos que representan elementos de un conjunto, mientras 
que los predicados son expresiones que describen una relación o propiedad. En 
la lógica de predicados, las variables se cuantifican y se combinan con predicados 
para formar proposiciones. 
 
 
Predicados: Son expresiones que contienen variables y describen propiedades o 
relaciones entre objetos 
 
 
Por ejemplo, "x es mayor que y" es un predicado que puede ser verdadero o 
falso dependiendo de los valores de x e y. 
 
 
"P(x): x es un número par". Aquí, "P(x)" es el predicado que describe la 
propiedad de ser un número par. 
 
En lógica de predicados, el universo de discurso, también conocido como dominio 
de discurso o simplemente dominio, es el conjunto de entidades sobre las que se 
habla en un contexto específico. Es decir, define el conjunto de objetos a los que 
se aplican las variables, constantes y predicados de una fórmula lógica. 
 
¿Qué es el Universo de Discurso? 
 "P(x): x es un número par" 
Universo de discurso: Todos los números 
Variable: x 
Propiedad: Ser un número par 
 
Ejemplos: Si x = 4, entonces P(x) es verdadera porque 4 es un número par. 
Si x = 3, entonces P(x) es falsa porque 3 no es un número par. 
 
EJEMPLOS 
EJEMPLOS 
1: Dominio de números naturales 
Universo de discurso: ℕ = {0, 1, 2, 3, ... 
 x en ℕ, x + 1 es mayor que x) 
 
2. Dominio de personas: 
Universo de discurso: P = {Ana, Juan, María, Pedro} 
 x ∈ P, x es amigo de Juan" 
 
3. Dominio de animales: 
Universo de discurso: A = {perros, gatos, conejos, caballos} 
x ∈ A, x es mamífero" 
 
El universo de discurso es crucial para determinar la veracidad o falsedad de 
una fórmula lógica. La misma fórmula puede ser verdadera en un universo de 
discurso y falsa en otro. 
 
CUANTIFICADORES 
Los cuantificadores son palabras que indican la cantidad de elementos que 
satisfacen una condición. El cuantificador universal (∀) denota que una 
afirmación es verdadera para todos los elementos de un conjunto, mientras que 
el cuantificador existencial (∃) indica que al menos un elemento satisface la 
condición. 
 
Ejemplos de Lógica de Predicados 
A través de ejemplos, podemos comprender cómo 
utilizar variables, predicados y cuantificadores para representar proposiciones 
complejas. Veremos cómo expresar enunciados como 'Todos los estudiantes son 
trabajadores' y 'Alguien es inteligente' en lógica de predicados. 
 
"Todos los estudiantes son trabajadores" 
Fórmula: ∀x (S(x) → T(x)) 
 
 ∀x: Cuantificador universal que significa "para todo x". 
S(x): Predicado que significa "x es un estudiante". 
T(x): Predicado que significa "x es un trabajador" 
.→: Implicación lógica que se lee como "si... entonces...". 
 
 
"Todos los estudiantes son trabajadores" 
Fórmula: ∀x (S(x) → T(x)) 
 
Universo de discurso: Todos los individuos 
Variable: x 
Propiedad: Ser un estudiante que también es trabajador 
 
Ejemplos: 
Si x = Juan, y Juan es un estudiante y un trabajador, entonces la fórmula es 
verdadera. 
Si x = María, y María es una estudiante pero no un trabajador, entonces la fórmula 
es falsa. 
 
VARIANTE 
Se podría utilizar la conjunción en el ejemplo anterior. ∀x (S(x) ∧ T(x)) 
 
 Todos los estudiantes son trabajadores, y al mismo tiempo, todos los 
trabajadores son estudiantes. 
 
 Diferencias con la fórmula que tiene --> : 
 La principal diferencia es que la conjunción exige que ambas propiedades se 
cumplan al mismo tiempo. 
MIentras que en ∀x (S(x) → T(x)) , solo se requiere que si un individuo es 
estudiante, entonces también sea trabajador. 
 
 Si x = Juan, y Juan es un estudiante y un trabajador, entonces ambas fórmulas 
son verdaderas. 
Si x = María, y María no es una estudiante y tampoco un trabajador, entonces 
la fórmula ∀x (S(x) → T(x)) es verdadera, pero la fórmula con conjunción es 
falsa. 
 
 
 
 
ENTONCES...¿CUÁL ELIJO? 
La elección de una u otra fórmula dependerá del significado que se quiera dar a la 
frase "Todos los estudiantes son trabajadores". Si se quiere decir que todos los 
estudiantes son trabajadores, y que no hay trabajadores que no sean estudiantes, 
entonces se debe usar la fórmula con conjunción. Si solo se quiere decir que 
todos los estudiantes son trabajadores, sin importar si hay trabajadores que no 
sean estudiantes, entonces se puede usar la fórmula original. 
 
"Alguien es inteligente" 
Fórmula: ∃x I(x) 
 
∃x: Cuantificador existencial que significa "existe un x tal que..." 
I(x): Predicado que significa "x es inteligente" 
 
"Alguien es inteligente" 
Fórmula: ∃x I(x) 
Universo de discurso: Todas las personas 
Variable: x 
Propiedad: Ser inteligente 
 
Si x = Ana y Ana es inteligente, entonces la fórmula es verdadera. 
 
Si x = Juan y Juan no es inteligente, entonces la fórmula sigue siendo verdadera 
porque existe otra persona que sí es inteligente. 
 
Otras posibilidades: 
 
 
También se pueden utilizar otros cuantificadores con la fórmula original para 
expresar diferentes significados. 
 
 
Por ejemplo, la fórmula "∀x ∃y I(y)" se lee como "para toda x, existe un y tal que y 
es inteligente". Esta fórmula afirma que cada persona conoce al menos a una 
persona inteligente. 
 
"TODO X ES MAYOR QUE Y" 
∀x ∀y (x > y) 
 
∀x: Cuantificador universal que significa "para todo x". 
∀y: Cuantificador universal que significa "para todo y". 
 x: Variable que representa un número cualquiera. 
y: Variable que representa un número cualquiera. 
 
 
En otras palabras, todos los números son mayores que cualquier otro número. 
 
"TODO X ES MAYOR QUE Y" 
"TODO X ES MAYOR QUE Y" 
Universo de discurso: Todos los números 
Variables: x e y 
Propiedad: Ser un número mayor que cualquier otro número 
 
Si x = 5 e y = 3, entonces la fórmula es verdadera porque 5 es mayor que 3. 
Si x = 2 e y = 4, entonces la fórmula es falsa porque 2 no es mayor que 4. 
Si x = y, entonces la fórmula es falsa porque un número no puede ser mayor que sí 
mismo. 
 
 
Solo afirma que todos los números son mayores que cualquier otro número. 
Diferencias con la fórmula "x > y": 
 
 
La principal diferencia entre la fórmula "∀x ∀y (x > y)" y la fórmula "x > y" es que la 
primera utiliza cuantificadores universales para generalizar la afirmación a todos 
los números, es decir que se afirma que todos los números son mayores que 
cualquier otro número. 
 
 
 La fórmula "x > y" solo se aplica a dos números específicos. 
 
APLICACIONES PRÁCTICAS 
APLICACIONES PRÁCTICAS 
La lógica de predicados tiene numerosas aplicaciones en informática, 
matemáticas, lingüística y filosofía. En informática, se utiliza para la 
especificación formal de algoritmos y la verificación de programas. En 
matemáticas, es fundamental para la teoría de conjuntos y la demostración de 
teoremas. 
 
REGLAS DE INFERENCIA 
 
Las reglas de inferencia en la lógica de predicados nos permiten derivar 
conclusiones lógicas a partir de premisas dadas. Algunas reglas comunes 
incluyen la generalización universal y la existencialización.Equivalencias Lógicas 
Equivalencias Lógicas 
En la lógica de predicados, las equivalencias lógicas nos permiten transformar 
proposiciones manteniendo su verdad. Estas equivalencias incluyen la negación 
de cuantificadores, la distribución y la doble negación. 
 
Resolución de Problemas 
Resolución de Problemas 
Al resolver problemas utilizando lógica de predicados, es importante identificar 
los cuantificadores, variables y predicados involucrados. Luego, podemos 
aplicar reglas de inferencia y equivalencias lógicas para llegar a conclusiones 
válidas 
 
CONCLUSIONES 
En esta presentación, hemos explorado los fundamentos de la lógica de 
predicados, sus aplicaciones prácticas y su relevancia en diversos campos. 
La comprensión de cuantificadores, variables y predicados nos permite 
analizar y razonar sobre proposiciones complejas de manera formal y 
rigurosa.