1
← Volver a los quizzesQuiz gratuito
Fundamentos de lógica de predicados
La lógica de predicados, también conocida como lógica de primer orden, amplía la lógica proposicional al permitir el uso de predicados y cuantificadores . Esta rama es fundamental en…
0 / 10
Puntuación: 0%
2
¿Cuál es la forma simbólica correcta para expresar 'Todos los leones son feroces'?
3
Al negar la afirmación '∀x ∈ ℤ: x > 3', ¿cuál es la forma lógica equivalente?
4
En el predicado P(x): 'x es mayor que 3', ¿cuál es el conjunto de verdad Dv si el dominio D es ℤ?
5
¿Cuál de las siguientes expresiones representa correctamente la negación de 'Existe un x tal que P(x)'?
6
Si ∀x ∀y P(x,y) es verdadera, ¿qué se puede afirmar sobre ∀y ∀x P(x,y)?
7
En la traducción 'Algunos leones no toman café', ¿qué operador lógico combina los predicados?
8
¿Cuál es la diferencia esencial entre los cuantificadores ∀ y ∃?
9
En el contexto de predicados, ¿qué implica que una variable tenga dominio ℤ?
10
Si ∃a ∈ A, ∃m ∈ M / I a,m ∧ G a representa 'Existe al menos un alumno de APU que tiene un gato', ¿qué representa I a,m?
Introducción a la lógica de predicados
La lógica de predicados, también conocida como lógica de primer orden, amplía la lógica proposicional al permitir el uso de predicados y cuantificadores. Esta rama es fundamental en filosofía, matemáticas y ciencias de la computación, ya que permite expresar afirmaciones sobre conjuntos de objetos y sus propiedades.
Cuantificadores universales y existenciales
Los dos cuantificadores básicos son:
- Cuantificador universal (∀): indica que una proposición es verdadera para todos los elementos del dominio.
- Cuantificador existencial (∃): indica que existe al menos un elemento del dominio que satisface la proposición.
Ejemplo clásico: "Todos los leones son feroces" se traduce como ∀x (León(x) → Feroz(x)). En contraste, "Existe un león que no es feroz" se escribe ∃x (León(x) ∧ ¬Feroz(x)).
Negación de cuantificadores
Negar una afirmación que contiene cuantificadores implica cambiar el tipo de cuantificador y negar el predicado interno. Las reglas de De Morgan para cuantificadores son:
- ¬∀x P(x) ≡ ∃x ¬P(x)
- ¬∃x P(x) ≡ ∀x ¬P(x)
Aplicando esta regla al enunciado "∀x ∈ ℤ: x > 3", su negación es ∃x ∈ ℤ: ¬(x > 3), es decir, "existe un entero que no es mayor que 3".
Conjuntos de verdad (Dv) y dominios
El conjunto de verdad de un predicado P(x) es el subconjunto del dominio D cuyos elementos hacen verdadera la proposición. Si D = ℤ y P(x): x > 3, entonces:
- Dv = { x ∈ ℤ | x > 3 }, es decir, todos los enteros mayores que 3.
Este concepto es esencial para comprender la extensión de los predicados y para construir interpretaciones semánticas en lógica.
Orden de los cuantificadores
En muchos casos, el orden de los cuantificadores no altera la verdad de la fórmula, especialmente cuando los cuantificadores son del mismo tipo. Por ejemplo, si ∀x ∀y P(x,y) es verdadera, entonces ∀y ∀x P(x,y) también lo es, ya que ambos afirman que para todo par (x,y) la proposición P(x,y) es verdadera. Esta propiedad se conoce como conmutatividad de cuantificadores idénticos.
Operadores lógicos en traducciones naturales
Al traducir oraciones del lenguaje natural a lógica de predicados, es crucial identificar el operador lógico que conecta los predicados. Consideremos la frase "Algunos leones no toman café". La traducción adecuada es:
∃x (León(x) ∧ ¬TomaCafé(x))
Aquí, la conjunción (∧) combina el predicado "es león" con la negación del predicado "toma café".
Ejemplos resueltos
1. Inferencia a partir de una premisa universal
Premisa: "Todas las computadoras de la Sala 1 funcionan correctamente" (∀x (Sala1(x) → FuncionaCorrectamente(x))) y el hecho de que PCIn101 pertenece a la Sala 1. Aplicando modus ponens, concluimos que PCIn101 funciona correctamente.
2. Forma simbólica de "Todos los leones son feroces"
La representación correcta es ∀x (León(x) → Feroz(x)). Esta fórmula dice que para cualquier objeto x, si x es león, entonces x es feroz.
3. Negación de una afirmación universal sobre enteros
Negar ∀x ∈ ℤ: x > 3 produce ∃x ∈ ℤ: ¬(x > 3), que se interpreta como "existe al menos un entero que no es mayor que 3".
4. Conjunto de verdad del predicado "x es mayor que 3"
Con dominio D = ℤ, el conjunto de verdad es {4,5,6,…}, es decir, "todos los enteros mayores que 3".
5. Negación de una existencia
La negación de "Existe un x tal que P(x)" es ∀x ¬P(x). Esto afirma que para todo x, P(x) es falsa.
6. Equivalencia de orden de cuantificadores idénticos
Si ∀x ∀y P(x,y) es verdadera, entonces ∀y ∀x P(x,y) también lo es, ya que ambos expresan que para cada par (x,y) la proposición P(x,y) se cumple.
7. Operador lógico en "Algunos leones no toman café"
El operador que combina los predicados es la conjunción con negación (∧ ¬), como se muestra en la fórmula ∃x (León(x) ∧ ¬TomaCafé(x)).
8. Diferencia esencial entre ∀ y ∃
El cuantificador universal (∀) afirma que la proposición es verdadera para todos los elementos del dominio, mientras que el existencial (∃) afirma que existe al menos uno que la satisface.
Conclusiones y buenas prácticas
Dominar la lógica de predicados implica:
- Identificar correctamente los predicados y sus argumentos.
- Seleccionar el cuantificador adecuado según la intención del enunciado.
- Aplicar las reglas de negación de manera precisa.
- Comprender cómo el orden de los cuantificadores afecta (o no) la verdad de la fórmula.
- Traducir frases cotidianas a notación simbólica manteniendo la claridad lógica.
Practicar con ejercicios como los presentados en este curso reforzará la capacidad de razonamiento lógico y será de gran utilidad en áreas como la filosofía analítica, la teoría de la computación y la inteligencia artificial.
