Lógica de Predicados: Aprende y evalúa tus conocimientos

Question 1

¿Cuál de las siguientes afirmaciones NO describe correctamente la Lógica de Predicados?

Accepted Answer

Es un lenguaje cotidiano para la comunicación informal.

Answer

Es un lenguaje formal para representar el conocimiento de forma estructurada.

Answer

Emplea símbolos para representar conceptos y relaciones.

Answer

Puede expresar proposiciones complejas con conectivos lógicos.

Question 2

¿Cuál de las siguientes opciones utiliza correctamente la lógica de predicados para representar la afirmación: 'Todos los gatos son felinos'?

Accepted Answer

∀x (Gato(x) → Felino(x))

Answer

∃x (Gato(x) ∧ Felino(x))

Answer

Gato(x) ⊃ Felino(x)

Answer

∀x (Felino(x) → Gato(x))

Question 3

¿Cuál es el objetivo de una interpretación en la lógica de predicados?

Accepted Answer

Determinar la veracidad o falsedad de una fórmula en un contexto específico.

Answer

Asignar valores a las variables de la fórmula.

Answer

Simplificar la fórmula eliminando cuantificadores.

Answer

Traducir la fórmula a una forma normal.

Question 4

En lógica proposicional, ¿cuál de las siguientes opciones NO es una proposición?

Accepted Answer

¿Qué hora es?

Answer

El cielo es azul

Answer

2 + 2 = 4

Answer

Madrid es la capital de España

Question 5

¿Qué cuantificador indica que algo es cierto para todos los elementos de un conjunto?

Accepted Answer

Universalidad

Answer

Existencia

Answer

Unicidad

Answer

Particularidad

Question 6

¿Cuál de las siguientes afirmaciones es un teorema en lógica de predicados?

Accepted Answer

∃x(x = x)

Answer

∀x(x = y)

Answer

∃x(x ≠ x)

Answer

∀x(x ≠ y)

Question 7

¿A qué tipo de lenguaje pertenece la lógica de predicados?

Accepted Answer

Declarativo

Answer

Procedural

Answer

Imperativo

Answer

Funcional

Question 8

¿Cuál es la principal aplicación de la lógica de predicados en el campo de la inteligencia artificial?

Accepted Answer

Razonamiento lógico

Answer

Aprendizaje automático

Answer

Reconocimiento de patrones

Answer

Procesamiento del lenguaje natural

Question 9

En la Lógica de Predicados, ¿cuál es la estructura fundamental de un predicado?

Accepted Answer

Nombre de relación-Argumentos

Answer

Sujeto-Verbo-Objeto

Answer

Operador-Operandos

Answer

Variable-Valor

Question 10

¿Qué tipo de cuantificador se emplea para indicar que existe al menos un elemento que satisface una propiedad en la Lógica de Predicados?

Accepted Answer

Cuantificador existencial

Answer

Cuantificador universal

Answer

Cuantificador negativo

Answer

Cuantificador particular

Question 11

¿Qué regla de inferencia nos permite deducir una nueva fórmula a partir de dos fórmulas dadas?

Accepted Answer

Modus ponens

Answer

Modus tollens

Answer

Regla de la cadena

Answer

Regla de la sustitución

Question 12

¿Cuál es la diferencia entre una base de conocimientos y un modelo de interpretación en la Lógica de Predicados?

Accepted Answer

La base de conocimientos contiene fórmulas, mientras que el modelo contiene interpretaciones

Answer

El modelo contiene fórmulas, mientras que la base de conocimientos contiene interpretaciones

Answer

Ambos contienen fórmulas y modelos

Answer

Ambos contienen interpretaciones y modelos

Question 13

¿Qué símbolo se emplea para representar la conjunción lógica en la Lógica de Predicados?

Accepted Answer

&

Answer

|

Answer

→

Answer

≡

Question 14

¿Qué tipo de lenguaje es la Lógica de Predicados?

Accepted Answer

Lenguaje artificial

Answer

Lenguaje natural

Answer

Lenguaje de programación

Answer

Lenguaje de consulta

Question 15

¿Cuál es el propósito de los cuantificadores en la lógica de predicados y cómo se diferencian entre sí?

Accepted Answer

Expresan la universalidad o existencia de propiedades para un dominio determinado.

Answer

Conectan proposiciones como operadores lógicos.

Answer

Definen funciones en la lógica de predicados.

Answer

No tienen ningún propósito en la lógica de predicados.

Question 16

¿Cuál es el predicado que representa la propiedad "ser alto" en la siguiente expresión: ∀x(Alto(x) → Deportista(x))?

Accepted Answer

Alto

Answer

Deportista

Answer

Atleta

Answer

Físicamente activo

Question 17

¿Cuál es el cuantificador universal en la expresión "∀x(Estudiante(x))"?

Accepted Answer

∀

Answer

(∀)

Answer

∃

Answer

(∃)

Question 18

¿Cuál es la traducción a lógica de predicados de la siguiente oración: "Hay al menos un estudiante que es alto"?

Accepted Answer

∃x(Estudiante(x) ∧ Alto(x))

Answer

(∃x)(Estudiante(x) → Alto(x))

Answer

∀x(Estudiante(x) → Alto(x))

Answer

∃x(Alto(x) ∧ Estudiante(x))

Question 19

¿Cuál es el símbolo que representa la conjunción lógica?

Accepted Answer

∧

Answer

&

Answer

∨

Answer

¬

Question 20

¿Qué tipo de constante representa a un único individuo?

Accepted Answer

Constante individual

Answer

Constante numérica

Answer

Constante de función

Answer

Constante predicado

Question 21

¿Qué regla de inferencia permite deducir una nueva fórmula a partir de dos fórmulas dadas?

Accepted Answer

Modus ponens

Answer

Modus tollens

Answer

Regla de la cadena

Answer

Regla de la conjunción

Question 22

¿Cuál es la fórmula equivalente a ~(P ∨ Q)?

Accepted Answer

~P ∧ ~Q

Answer

P ∧ ~Q

Answer

~P ∨ ~Q

Answer

P ∨ ~Q

Question 23

¿Qué forma normal es un conjunto de cláusulas donde cada cláusula es una disyunción de literales?

Accepted Answer

Forma normal disyuntiva

Answer

Forma normal conjuntiva

Answer

Forma normal de Skolem

Answer

Forma normal prenexa

Question 24

¿Qué condición debe cumplirse para que una fórmula sea válida?

Accepted Answer

Es verdadera en todas las interpretaciones

Answer

Es falsa en todas las interpretaciones

Answer

Es verdadera en algunas interpretaciones

Answer

Es falsa en algunas interpretaciones

Question 25

¿Qué método se utiliza para determinar si una fórmula es satisfactible?

Accepted Answer

Algoritmo de satisfacción

Answer

Demostración por contradicción

Answer

Reglas de inferencia

Answer

Prueba por inducción

Question 26

¿Qué cuantificador afirma que todos los elementos de un dominio satisfacen una propiedad?

Accepted Answer

∀

Answer

∃

Answer

∨

Answer

∧

Question 27

Considerando la siguiente base de conocimiento: {{P(a), Q(b), R(a,b)}, ¿cuál es el valor de verdad de la expresión proposicional (P(a) ∨ Q(b)) → R(a,b)?

Accepted Answer

Verdadero

Answer

Falso

Answer

Indeterminado

Answer

No se puede determinar sin información adicional

Question 28

¿La Lógica de Predicados es un lenguaje formal o natural?

Accepted Answer

Formal

Answer

Natural

Answer

Ambos

Answer

Ninguno

Question 29

Dada la expresión proposicional ∀x(Px → Qx), ¿qué regla de inferencia se puede utilizar para derivar Q(a)?

Accepted Answer

Regla de especialización

Answer

Modus ponens

Answer

Modus tollens

Answer

Regla de generalización

Question 30

¿Qué símbolo representa la negación en la Lógica de Predicados?

Accepted Answer

¬

Answer

∨

Answer

∧

Answer

→

Question 31

Considerando la expresión proposicional ∃x(Px ∧ Qx), ¿qué tipo de cuantificación representa?

Accepted Answer

Cuantificación existencial

Answer

Cuantificación universal

Answer

Cuantificación universal negativa

Answer

Cuantificación existencial negativa

Question 32

¿Cuál es la estructura general de una proposición en Lógica de Predicados?

Accepted Answer

Término - Predicado - Cuantificador

Answer

Constante - Término - Cuantificador

Answer

Predicado - Constante - Cuantificador

Answer

Cuantificador - Predicado - Constante

Question 33

¿Qué tipo de cuantificador se utiliza para indicar que todos los elementos cumplen una propiedad?

Accepted Answer

Universal

Answer

Existencial

Answer

Negativo

Answer

Condicional

Question 34

¿Cuál es el símbolo lógico que representa la disyunción en Lógica de Predicados?

Accepted Answer

∨

Answer

∧

Answer

→

Answer

¬

Question 35

¿Cuáles son los dos tipos principales de razonamiento lógico empleados en Lógica de Predicados?

Accepted Answer

Deductivo e inductivo

Answer

Sintético y analítico

Answer

Abductivo y deductivo

Answer

Existencial y universal

Question 36

¿Qué regla de inferencia permite inferir una nueva proposición a partir de su antecedente y una negación?

Accepted Answer

Modus tollens

Answer

Modus ponens

Answer

Dilema constructivo

Answer

Silogismo hipotético

Question 37

Identifica cuál de las siguientes expresiones es una fórmula bien formada en Lógica de Predicados:

Accepted Answer

∀x(G(x) → H(x))

Answer

∀xG(x) → H(x)

Answer

(∀xG(x)) → H(x)

Answer

x(G(x) → H(x))

Question 38

¿Cuál es la variable cuantificada en la fórmula '∃x(Ax ∧ Bx)'?

Accepted Answer

x

Answer

Ax

Answer

B

Answer

A

Question 39

Traduce la siguiente proposición al lenguaje ordinario: '∀x(G(x) → H(x))'

Accepted Answer

Para todo x, si x tiene la propiedad G entonces x tiene la propiedad H.

Answer

Solo los individuos que tienen la propiedad H también tienen la propiedad G.

Answer

Existen individuos que tienen tanto la propiedad G como la propiedad H.

Question 40

Selecciona la fórmula lógicamente equivalente a '¬(∃x(Ax ∧ Bx))':

Accepted Answer

∀x(¬Ax ∨ ¬Bx)

Answer

∃x(Ax → Bx)

Answer

∀x(Ax → ¬Bx)

Answer

∃x(¬Ax ∧ ¬Bx)

Question 41

¿A qué tipo de cuantificador pertenece el símbolo '∃'?

Accepted Answer

Existencial

Answer

Negado

Answer

Universal

Answer

Particular

Question 42

Traduce la siguiente proposición al lenguaje de la Lógica de Predicados: 'Existe un libro rojo.'

Accepted Answer

∃x(L(x) ∧ R(x))

Answer

∀x(L(x) → R(x))

Answer

∀x(R(x) → L(x))

Answer

¬∃x(L(x) ∧ R(x))

Question 43

En Lógica de Predicados, ¿qué símbolo representa la conjunción lógica?

Accepted Answer

∧

Answer

→

Answer

∨

Answer

¬

Question 44

¿Cuál de las siguientes opciones es una fórmula bien formada en Lógica de Predicados?

Accepted Answer

∀x(Estudiante(x) → Inteligente(x))

Answer

Estudiante(x) y Inteligente(x)

Answer

x es un estudiante o es inteligente

Answer

Todos los estudiantes son inteligentes

Question 45

¿Qué tipo de elemento en una interpretación representa una propiedad o característica de los objetos del dominio?

Accepted Answer

Predicado

Answer

Constante lógica

Answer

Término

Question 46

¿Cuál de las siguientes opciones describe mejor el papel de una variable en Lógica de Predicados?

Accepted Answer

Representa un objeto arbitrario del dominio

Answer

Representa un concepto o propiedad específica

Answer

Representa una constante lógica

Answer

Representa un objeto específico del dominio

Question 47

¿Qué símbolo representa la cuantificación universal en Lógica de Predicados?

Accepted Answer

∀x

Answer

∃

Answer

¬

Answer

∨

Question 48

¿Qué elemento de una fórmula de Lógica de Predicados representa una declaración sobre una propiedad o característica específica?

Accepted Answer

Predicado

Answer

Cuantificador

Answer

Término

Answer

Conector lógico

Question 49

Indica cuál de las opciones siguientes es una fórmula bien formada en Lógica de Predicados:

Accepted Answer

(x) P(x)

Answer

(x P(x)

Answer

P()x

Question 50

¿Qué operador lógico representa la conjunción en Lógica de Predicados?

Accepted Answer

∧

Answer

∨

Answer

⇒

Answer

¬

Question 51

Selecciona la interpretación correcta de la fórmula (x) (P(x) → Q(x)):

Accepted Answer

{x: P(x) es verdadero} es un subconjunto de {x: Q(x) es verdadero}

Answer

{x: P(x) es verdadero} es un subconjunto de {x: Q(x) es falso}

Answer

{x: P(x) es falso} es un subconjunto de {x: Q(x) es verdadero}

Answer

{x: P(x) es falso} es un subconjunto de {x: Q(x) es falso}

Question 52

¿Qué tipo de razonamiento se emplea en la siguiente inferencia: A es un subconjunto de B, B es un subconjunto de C, por lo tanto, A es un subconjunto de C?

Accepted Answer

Razonamiento deductivo

Answer

Razonamiento inductivo

Answer

Razonamiento transductivo

Answer

Razonamiento abductivo

Question 53

¿Cuál es la negación de la fórmula (∃x) (P(x) ∧ Q(x))?

Accepted Answer

(∀x) (¬P(x) ∨ ¬Q(x))

Answer

(∀x) (P(x) → ¬Q(x))

Answer

(∃x) (P(x) ⇒ ¬Q(x))

Answer

(∃x) (¬P(x) ∧ ¬Q(x))

Question 54

¿Cuál de las siguientes afirmaciones es una propiedad de las fórmulas de primer orden?

Accepted Answer

Pueden interpretarse en algún universo

Answer

Siempre son verdaderas

Answer

No tienen variables libres

Answer

Siempre son falsas

Question 55

¿En qué se diferencia un término de un predicado?

Accepted Answer

Los términos se refieren a objetos, mientras que los predicados describen propiedades o relaciones entre objetos.

Answer

Los predicados se refieren a objetos, mientras que los términos describen propiedades o relaciones entre objetos.

Question 56

¿Cuál es la diferencia entre una fórmula cerrada y una abierta?

Accepted Answer

Las fórmulas cerradas no tienen variables libres, mientras que las abiertas sí.

Answer

Las fórmulas cerradas siempre son verdaderas, mientras que las abiertas no.

Answer

Las fórmulas abiertas no tienen variables libres, mientras que las cerradas sí.

Question 57

¿Cuál es el objetivo de la unificación en Lógica de Predicados?

Accepted Answer

Encontrar la sustitución más general que hace que dos fórmulas sean idénticas

Answer

Encontrar la sustitución más específica que hace que dos fórmulas sean idénticas

Answer

Encontrar la interpretación que satisface ambas fórmulas