Inferencia de Predicados: Cuestionarios y Ejercicios Interactivos

Question 1

¿Cuál de las siguientes NO es una regla de inferencia válida en la lógica de predicados?

Accepted Answer

Silogismo hipotético

Answer

Modus Ponens

Answer

Modus Tollens

Answer

Introducción de la cuantificación universal

Question 2

En la siguiente premisa «Algunos estudiantes son inteligentes», ¿cuál es el término sujeto?

Accepted Answer

Estudiantes

Answer

Inteligentes

Answer

Algunos

Answer

Es

Question 3

En el siguiente silogismo: «Todos los políticos mienten; Juan es político; por lo tanto, Juan miente», ¿cuál es el término medio?

Accepted Answer

Político

Answer

Juan

Answer

Miente

Answer

Todos

Question 4

¿Cuál de las siguientes es una inferencia válida a partir de las premisas «Todos los gatos son felinos; ningún felino es canino»?

Accepted Answer

Ningún gato es canino

Answer

Todos los felinos son gatos

Answer

Ningún felino es un gato

Answer

Todos los caninos son gatos

Question 5

¿Cuál es el modo del siguiente silogismo: «Ningún perro es un gato; todos los gatos son animales; por lo tanto, ningún perro es un animal»?

Accepted Answer

Celarent

Answer

Barbara

Answer

Darii

Answer

Ferio

Question 6

En la siguiente premisa «Existen estudiantes que estudian filosofía», ¿cuál es el cuantificador de la variable sujeto?

Accepted Answer

Particular afirmativo

Answer

Universal afirmativo

Answer

Universal negativo

Answer

Particular negativo

Question 7

¿Cuál de las siguientes opciones representa correctamente en lógica de predicados el argumento: 'Todas las personas son mortales. Sócrates es una persona. Por lo tanto, Sócrates es mortal'?

Accepted Answer

∀x(Persona(x) → Mortal(x)) ∧ Persona(Sócrates) → Mortal(Sócrates)

Answer

Persona(Todas las personas) → Mortal(Todas las personas) → Mortal(Sócrates)

Answer

∃x(Persona(x) ∧ Mortal(x)) → Persona(Sócrates) → Mortal(Sócrates)

Answer

Persona(Sócrates) → Mortal(Todas las personas) → Mortal(Sócrates)

Question 8

¿Cuál de los siguientes es un cuantificador existencial?

Accepted Answer

Existe

Answer

Todos

Answer

Ninguno

Answer

Para todo

Question 9

En el predicado "Todos los cisnes son blancos", ¿cuál es el predicado?

Accepted Answer

El predicado

Answer

El sujeto

Answer

El objeto

Answer

El verbo

Question 10

Si la premisa "Todos los médicos son personas" es verdadera, ¿qué conclusión es lógicamente válida?

Accepted Answer

Todos los médicos son humanos

Answer

Algunas personas no son médicos

Answer

Ningún médico es humano

Answer

Todas las personas son médicos

Question 11

El operador lógico que conecta proposiciones y produce una proposición verdadera solo cuando ambas proposiciones son verdaderas es:

Accepted Answer

Conjunción

Answer

Disyunción

Answer

Implicación

Answer

Equivalencia

Question 12

Identifica la forma de silogismo categórico que permite concluir una proposición particular a partir de premisas universales:

Accepted Answer

IAI

Answer

AAA

Answer

AII

Answer

IEE

Question 13

En el siguiente argumento: "Si llueve, entonces el suelo se moja. Está lloviendo. Por lo tanto, el suelo está mojado", ¿qué tipo de razonamiento se utiliza?

Accepted Answer

Deductivo

Answer

Inductivo

Answer

Abductivo

Answer

Analógico

Question 14

En la fórmula lógica "∃x(Px ∧ Qx)", ¿qué representa "x"?

Accepted Answer

Una variable

Answer

Una constante

Answer

Un cuantificador

Answer

Un conector lógico

Question 15

¿Qué tipo de silogismo tiene la forma: Todos los A son B, Todos los B son C, por lo tanto, Todos los A son C?

Accepted Answer

Silogismo categórico

Answer

Silogismo hipotético

Answer

Silogismo disyuntivo

Answer

Ninguno de los anteriores

Question 16

¿Cuál es el cuantificador correcto para completar la oración 'Todos los perros ... mamíferos'?

Accepted Answer

son

Answer

no son

Answer

pueden ser

Answer

deben ser

Question 17

¿Cuál es el término correcto para referirse a la propiedad de que un predicado se aplica a todos los miembros de un dominio?

Accepted Answer

Universalidad

Answer

Particularidad

Answer

Existencia

Answer

Necesidad

Question 18

¿Qué tipo de cuantificador se utiliza en la oración 'Existen profesores que enseñan lógica'?

Accepted Answer

Cuantificador existencial

Answer

Cuantificador universal

Answer

Cuantificador particular negativo

Answer

Cuantificador general

Question 19

En el silogismo: 'Todos los hombres son mortales. Sócrates es un hombre. Por lo tanto, Sócrates es mortal', ¿cuál es el término menor?

Accepted Answer

Sócrates

Answer

Todos los hombres

Answer

Mortales

Answer

Hombre

Question 20

¿Qué tipo de cuantificador se utiliza en la expresión: 'Existen estudiantes que estudian filosofía'?

Accepted Answer

Existencial

Answer

Universal

Answer

Particular

Answer

Negativo

Question 21

En la lógica de predicados, ¿cuál de los siguientes símbolos representa la conjunción?

Accepted Answer

∧

Answer

¬

Answer

∨

Answer

→

Question 22

¿Cuál es la forma particular afirmativa de la siguiente proposición: 'Todos los gatos son animales'?

Accepted Answer

Algún gato es animal

Answer

No todos los gatos son animales

Answer

Todos los animales son gatos

Answer

Ningún gato es animal

Question 23

En el argumento: 'Si estudio, aprobaré el examen. No estudio. Por lo tanto, no aprobaré el examen', ¿cuál es la falacia lógica cometida?

Accepted Answer

Falacia de negación del antecedente

Answer

Falacia de afirmación del consecuente

Answer

Falacia de falsa causa

Answer

Falacia de pendiente resbaladiza

Question 24

¿Cuál de los siguientes es un ejemplo de una proposición compuesta?

Accepted Answer

Si llueve, el suelo se moja

Answer

El cielo es azul

Answer

2 + 2 = 4

Answer

Todos los perros son mamíferos

Question 25

En la lógica de predicados, ¿qué tipo de término representa un objeto individual?

Accepted Answer

Constante

Answer

Sujeto

Answer

Predicado

Answer

Cuantificador

Question 26

En lógica de predicados, ¿qué es un término?

Accepted Answer

Una constante o variable que representa un objeto

Answer

Un sujeto

Answer

Un predicado

Answer

Una relación entre dos o más objetos

Question 27

En la expresión lógica ∀x(Px → Qx), ¿cuál es el alcance de la variable x?

Accepted Answer

Toda la expresión

Answer

El predicado Px

Answer

El predicado Qx

Answer

Ninguno de los anteriores

Question 28

En la expresión lógica ∃x(Px ∧ Qx), ¿qué tipo de cuantificador se usa?

Accepted Answer

Cuantificador existencial

Answer

Cuantificador universal

Answer

Ambos cuantificadores

Answer

Ninguno de los anteriores

Question 29

En el silogismo 'Todos los hombres son mortales. Sócrates es un hombre. Por lo tanto, ¿cuál es la conclusión?

Accepted Answer

Sócrates es mortal

Answer

Todos los mortales son hombres

Answer

Los hombres son mortales

Answer

No hay mortales que no sean hombres

Question 30

En la siguiente proposición 'x es mayor que y', ¿cuál es el predicado?

Accepted Answer

mayor que

Answer

x

Answer

y

Answer

es

Question 31

¿Cuál es el cuantificador universal en la siguiente proposición 'Para todo x, x es un número natural'?

Accepted Answer

Para todo

Answer

Algún

Answer

No hay

Answer

Si

Question 32

En el contexto de la lógica de predicados, ¿qué representa la variable 'x' en la proposición 'x ama a y'?

Accepted Answer

Cualquier individuo

Answer

Un individuo específico

Answer

Un conjunto de individuos

Answer

Una propiedad

Question 33

¿Cuál de las siguientes proposiciones es equivalente a 'Ningún estudiante es profesor'?

Accepted Answer

Todos los estudiantes no son profesores

Answer

Algunos estudiantes son profesores

Answer

Todos los profesores son estudiantes

Answer

Algún profesor no es estudiante

Question 34

En la lógica de predicados, ¿qué tipo de proposición afirma que existe al menos un individuo que satisface una propiedad determinada?

Accepted Answer

Proposición particular afirmativa

Answer

Proposición universal afirmativa

Answer

Proposición universal negativa

Answer

Proposición particular negativa

Question 35

¿Cuál de los siguientes símbolos representa la conjunción en la lógica de predicados?

Accepted Answer

^

Answer

v

Answer

→

Answer

↔

Question 36

En lógica de predicados, ¿cuál de las siguientes es una regla de inferencia válida?

Accepted Answer

Modus Ponens

Answer

Falacia de afirmación del consecuente

Answer

Conversión

Answer

Silogismo hipotético

Question 37

En el enunciado 'Existen estudiantes que estudian filosofía', ¿qué tipo de cuantificador se utiliza?

Accepted Answer

Existencial

Answer

Negativo

Answer

Particular

Answer

Universal

Question 38

Dadas las premisas 'Todos los filósofos son pensadores' y 'Sócrates es un filósofo', ¿qué conclusión se puede inferir utilizando Modus Ponens?

Accepted Answer

Sócrates es un pensador

Answer

Algunos pensadores son filósofos

Answer

Todos los pensadores son filósofos

Answer

Sócrates no es un pensador

Question 39

¿Qué falacia lógica se comete al afirmar que 'Si llueve, la calle estará mojada; la calle está mojada; por lo tanto, está lloviendo'?

Accepted Answer

Falacia de afirmación del consecuente

Answer

Falacia de pendiente resbaladiza

Answer

Falacia ad hominem

Answer

Falacia de falsa equivalencia

Question 40

Interpreta la siguiente fórmula de lógica de predicados: '∀x (Estudiante(x) → Persona(x))'

Accepted Answer

Todos los estudiantes son personas

Answer

Todas las personas son estudiantes

Answer

Existen estudiantes que no son personas

Answer

Existen personas que no son estudiantes

Question 41

¿Cuál de los siguientes enunciados es una contradicción en lógica de predicados?

Accepted Answer

∃x (Estudiante(x) ∧ ¬Estudiante(x))

Answer

∃x (Persona(x) ∧ ¬Estudiante(x))

Answer

∀x (¬Estudiante(x) ∨ Persona(x))

Answer

∀x (Estudiante(x) → Persona(x))

Question 42

¿Cuál de las siguientes opciones es una inferencia válida a partir de las premisas "Todos los hombres son mortales" y "Sócrates es un hombre"?

Accepted Answer

Sócrates es mortal

Answer

Algunos hombres no son mortales

Answer

Sócrates es inmortal

Answer

Todos los mortales son hombres

Question 43

¿Qué regla de inferencia se aplica al argumento: "Si llueve, la calle se moja. No llueve. Por lo tanto, la calle no está mojada"?

Accepted Answer

Modus tollens

Answer

Deducción hipotética

Answer

Modus ponens

Answer

Silogismo disyuntivo

Question 44

¿Qué tipo de conectivo lógico es el símbolo "→" en la expresión: (P ∨ Q) → R?

Accepted Answer

Implicación

Answer

Equivalencia

Answer

Conjunción

Answer

Disyunción

Question 45

¿Cuál de las siguientes opciones es una forma válida del argumento "Si Ana estudia mucho, entonces aprobará el examen. Ana estudió mucho. Por lo tanto, ..."?

Accepted Answer

Ana aprobará el examen

Answer

Ana aprobó el examen

Answer

Ana no estudió mucho

Answer

Ana no aprobará el examen

Question 46

¿Cuál es el término para una variable que puede tomar cualquier valor en un determinado dominio?

Accepted Answer

Variable libre

Answer

Variable ligada

Answer

Variable cuantificada

Question 47

En la expresión "∀x(Px → Qx)", ¿qué representa la variable "x"?

Accepted Answer

Un objeto arbitrario en el dominio

Answer

El sujeto de la proposición

Answer

El cuantificador de la proposición

Answer

El predicado de la proposición

Question 48

¿Cuál de las siguientes proposiciones se deriva lógicamente de las premisas "Todo perro es mamífero" y "Sólo algunos perros son caniches"?

Accepted Answer

Algunos cániches son mamíferos

Answer

Algunos perros no son mamíferos

Answer

Todos los mamíferos son cániches

Answer

Ningún cániche es mamífero

Question 49

Dadas las proposiciones lógicas: (P → Q) y (Q → R), ¿qué nueva proposición se puede inferir utilizando el razonamiento de deducción natural?

Accepted Answer

P → R

Answer

P → ¬R

Answer

¬P ∧ ¬R

Answer

Q → P

Question 50

En el contexto de la lógica de predicados, ¿cuál de las siguientes constituye una regla de inferencia válida?

Accepted Answer

Universalización

Answer

Reducción al absurdo

Answer

Silogismo hipotético

Answer

Modus ponens

Question 51

En la proposición predicativa "Todo ser vivo es mortal", ¿cuál es el término sujeto?

Accepted Answer

Ser vivo

Answer

Todo

Answer

Es

Answer

Mortal

Question 52

Entre los cuantificadores "Para todo x", "Existe un x tal que" y "No existe ningún x tal que", ¿cuál representa una cuantificación universal?

Accepted Answer

Para todo x

Answer

No existe ningún x tal que

Answer

Existe un x tal que

Question 53

Establezca cuál es la relación lógica entre los términos "Vehículo" y "Automóvil":

Accepted Answer

Subordinación

Answer

Coordinación

Answer

Negación

Answer

Equivalencia

Question 54

En lógica proposicional, ¿cuál de las siguientes proposiciones es una tautología?

Accepted Answer

(P ∨ ¬P)

Answer

Q ∧ ¬Q

Answer

P ∧ (P → Q)

Answer

P → ¬P