Representación lógica, inferencia lógica y Lógica de Primer Orden

TEST DE REPRESENTACIÓN DEL CONOCIMIENTO

Semanas 6, 7 y 8 – Verano 2025
Temas: Representación Lógica, Inferencia Lógica y Lógica de Primer Orden

1. 1. Relaciona los elementos con su tipo correspondiente dentro de la Lógica de Primer Orden.

• Representan propiedades o relaciones entre objetos → Predicados
• Son valores específicos como "Juan" o "7" → Constantes
• Símbolos que representan elementos genéricos del dominio → Variables
• Funciones que devuelven otro término a partir de uno o más → Funciones

1. 2. La Lógica de Primer Orden utiliza _____ y _____ para generalizar sobre conjuntos de elementos.

• Respuesta: cuantificadores – predicados

1. 3. Selecciona todas las afirmaciones correctas sobre reglas de inferencia.

• ✓ La deducción parte de premisas generales para obtener conclusiones específicas
• ✓ Las reglas de inferencia se basan en fórmulas bien formadas
• ✗ La inferencia inductiva garantiza conclusiones válidas si las premisas son verdaderas
• ✗ La inferencia lógica no se aplica a las matemáticas

1. 4. ¿Una proposición como “¿Dónde está Juan?” es válida en lógica proposicional?

• Respuesta: Falso

1. 5. Relaciona los conectores lógicos con su símbolo correspondiente.

• Negación → ¬
• Conjunción → ∧
• Disyunción → ∨
• Implicación → →

1. 6. ¿Cuáles son ejemplos de oraciones atómicas en la Lógica de Primer Orden?

• ✓ Gato(Garfield)
• ✓ P(a)
• ✗ ∃x(Mortal(x))
• ✗ x + y = z → t

1. 7. ¿Cuáles representan fórmulas bien formadas en lógica de primer orden?

• ✓ ∀x(Padre(x) ∨ Hermano(x))
• ✓ ∃y(Amigo(x, y))
• ✓ (Llueve → Mojado(Suelo))
• ✗ x ∧ y

1. 8. Las variables _____ están controladas por un cuantificador; las variables _____ no lo están.

• Respuesta: enlazadas – libres

1. 9. Elige los cuantificadores válidos en lógica de primer orden.

• ✓ ∀
• ✓ ∃
• ✗ ⇔
• ✗ ⊆

1. 10. La lógica proposicional permite cuantificadores.

• Respuesta: Falso

1. 11. ¿Qué es una proposición atómica?

• Respuesta: Es una declaración simple con un valor de verdad (verdadero o falso) sin conectores.

1. 12. ¿Cuál es la diferencia entre inferencia inductiva y deductiva?

• Respuesta: La inductiva va de lo particular a lo general; la deductiva de lo general a lo particular.

1. 13. ¿Qué representa la fórmula ∀x(Mortal(x))?

• Respuesta: Todos los elementos x son mortales.

1. 14. ¿Qué representa ∃x(Perro(x) ∧ Blanco(x))?

• Respuesta: Existe al menos un perro que es blanco.

1. 15. La conjunción de dos proposiciones es verdadera solo si...

• Respuesta: Ambas proposiciones son verdaderas.

1. 16. ¿Qué tipo de oración es ¬EsPrimo(4)?

• Respuesta: Una oración molecular (uso de negación sobre una atómica).

1. 17. ¿Qué tipo de lógica permite representar relaciones como Hermano(Juan, Luis)?

• Respuesta: Lógica de Primer Orden

1. 18. ¿Qué indica la implicación lógica P → Q?

• Respuesta: Si P es verdadero, entonces Q también debe ser verdadero.

1. 19. ¿Qué son las fórmulas bien formadas (FBF)?

• Respuesta: Expresiones construidas según reglas sintácticas que tienen un valor de verdad.

1. 20. ¿Qué tipo de inferencia se usa si partimos de varias premisas para llegar a una conclusión exacta?

• Respuesta: Inferencia deductiva

...