LM: Lógica de Predicados

¿Qué es la lógica de predicados en relación con la lógica de enunciados?

• Una contradicción

• Una extensión

• Una simplificación

• Un reemplazo

¿Qué representan las variables dentro de los predicados?

• Propiedades relacionales

• Dominio de aplicación

• Objetos concretos del dominio

• Conjunciones lógicas

¿Qué tipo de predicado se forma cuando un enunciado tiene cero variables?

• Propiedad

• Relación

• Enunciado

• Conjunción

¿Qué significa el cuantificador universal en la lógica de predicados?

• Para ningún elemento del dominio

• Para todos los elementos del dominio

• Para algunos elementos del dominio

• Para un solo elemento del dominio

¿Cuál es la función del cuantificador existencial en la lógica de predicados?

• Indicar que todos los elementos cumplen la propiedad

• Indicar que ningún elemento cumple la propiedad

• Indicar que solo un elemento cumple la propiedad

• Indicar que al menos un elemento cumple la propiedad

¿Qué es el ámbito del cuantificador en la formalización de predicados?

• Los paréntesis que cierran la fórmula donde opera el cuantificador

• El conjunto de elementos del dominio implicados por el cuantificador

• La secuencia ordenada de cuantificadores jerárquicamente

• La relación entre dos parámetros en una fórmula

¿Qué representa un predicado con un cuantificador universal?

• Conjunción masiva

• Bicondicional

• Negación condicional

• Disyunción masiva

¿Qué representa un cuantificador existencial en la formalización de predicados?

• Conjunción de elementos del dominio

• Negación de elementos del dominio

• Implicación de propiedades de la selección

• Disyunción de propiedades del dominio

¿Qué significa formalizar 'Toda persona inteligente y ávida se suscribe a contenidos útiles'?

• Para todo x, si x es persona, inteligente y ávido, entonces x se suscribe a contenidos útiles

• Existe x que es persona, inteligente y ávido, y se suscribe a contenidos útiles

• No existen elementos x que sean personas inteligentes y ávidas

• Algunos elementos x son personas inteligentes y ávidas, pero no se suscriben a contenidos útiles

¿Cuál es la diferencia entre una variable ligada y una variable libre en la formalización de predicados?

• Una variable ligada está en el ámbito de un cuantificador universal, mientras que una variable libre no lo está

• Una variable ligada tiene el mismo literal que otra variable, mientras que una variable libre tiene literales diferentes

• Una variable ligada está sometida a un cuantificador, mientras que una variable libre no lo está

• Una variable ligada representa la misma realidad conceptual que otra variable, mientras que una variable libre no