Formas de Predicados: Aprende sobre Predicados Atómicos, Moleculares y Cuantificados

Question 1

¿Cuál es la forma del predicado en la proposición "Todos los perros son mamíferos"?

Accepted Answer

Predicado cuantificado

Answer

Predicado atómico

Answer

Predicado molecular

Answer

Predicado relacional

Question 2

Identifica el tipo de predicado en ""Él es humano".

Accepted Answer

Atómico

Answer

Molecular

Answer

Cuantificado universal

Answer

Cuantificado existencial

Question 3

El ámbito de un cuantificador abarca:

Accepted Answer

El conjunto de objetos que satisfacen la fórmula cuantificada.

Answer

El conjunto de todos los objetos posibles.

Answer

El conjunto de constantes de la fórmula.

Answer

La variable misma.

Question 4

Selecciona la negación lógica de ""Todos los profesores son sabios".

Accepted Answer

Existen profesores que no son sabios.

Answer

Ningún profesor es sabio.

Answer

Algunos profesores son sabios.

Answer

Todos los profesores son no sabios.

Question 5

Transforma la siguiente fórmula a su equivalente lógico: ""Existe una persona que todos admiran".

Accepted Answer

Existe una persona x, para todo y, y admira a x.

Answer

Para todo x, x es admirado por todos.

Answer

Para toda persona x, existe alguien que la admira.

Answer

Todos admiran a alguien.

Question 6

Determina el alcance del cuantificador "para todo x" en ""Para todo x, existe un y tal que x ama a y".

Accepted Answer

{x}

Answer

{y}

Answer

{x, y}

Answer

El conjunto vacío

Question 7

Selecciona la fórmula lógica válida entre las siguientes opciones:

Accepted Answer

Si todos aprueban, entonces alguien aprueba.

Answer

Existen estudiantes que aprueban y reprueban el examen.

Answer

Si todos aprueban, entonces existen personas que reprueban.

Answer

Si todos reprueban, entonces existen personas que no reprueban.

Question 8

Indica qué interpretación hace verdadera la fórmula ""Para todo x, si x es un triángulo, entonces x tiene tres lados".

Accepted Answer

Todas las figuras con tres lados son triángulos.

Answer

Todas las figuras que no son triángulos tienen tres lados.

Answer

Existen figuras que no son triángulos pero tienen tres lados.

Answer

Todas las figuras con tres lados son triángulos y tienen cuatro lados.

Question 9

La cuantificación universal implica:

Accepted Answer

Que todos los objetos satisfacen la fórmula.

Answer

Que algunos objetos satisfacen la fórmula.

Answer

Que ningún objeto satisface la fórmula.

Answer

Que existe un objeto único que satisface la fórmula.

Question 10

¿Cuál de las siguientes afirmaciones sobre los predicados atómicos es **INCORRECTA**?

Accepted Answer

Siempre tienen un único sujeto.

Answer

Son predicados indivisibles que no pueden descomponerse en otros más simples.

Answer

Pueden incluir constantes o variables entre paréntesis.

Answer

Pueden ser verdaderos o falsos, sin valores intermedios.

Question 11

¿Qué tipo de cuantificador afirma que una propiedad es cierta para **todos** los elementos de un conjunto determinado?

Accepted Answer

Cuantificador universal afirmativo

Answer

Cuantificador existencial negativo

Answer

Cuantificador universal negativo

Answer

Cuantificador existencial afirmativo

Question 12

Un predicado molecular que utiliza el conector lógico 'o' se conoce como:

Accepted Answer

Disyunción

Answer

Conjunción

Answer

Implicación

Answer

Equivalencia

Question 13

¿Cuál de los siguientes es un ejemplo de un **predicado cuantificado**?

Accepted Answer

Todos los humanos son mortales.

Answer

Hay un perro blanco.

Answer

Madrid es una ciudad grande.

Answer

La mesa es de madera.

Question 14

El **ámbito** de un cuantificador se refiere a:

Accepted Answer

Los individuos a los que se aplica el cuantificador.

Answer

El número de veces que aparece el cuantificador en una fórmula.

Answer

El tipo de cuantificador utilizado.

Answer

La verdad o falsedad del predicado cuantificado.

Question 15

¿Qué indica el **alcance** de un cuantificador?

Accepted Answer

La parte de la fórmula afectada por el cuantificador.

Answer

El número de individuos que satisfacen el predicado cuantificado.

Answer

La verdad o falsedad del predicado cuantificado.

Answer

El tipo de cuantificador utilizado.

Question 16

El cuantificador que afirma que algo es cierto para **al menos un** miembro de un conjunto se llama:

Accepted Answer

Cuantificador existencial afirmativo

Answer

Cuantificador universal afirmativo

Answer

Cuantificador existencial negativo

Answer

Cuantificador universal negativo

Question 17

¿Cuál de las siguientes proposiciones es **verdadera** según las reglas de verdad de los cuantificadores?

Accepted Answer

Todos los gatos son mamíferos y ningún mamífero es reptil.

Answer

Todos los gatos son mamíferos y algunos mamíferos son reptiles.

Answer

Existe un gato que no es mamífero y ningún mamífero es reptil.

Answer

Existe un gato que es reptil y todos los mamíferos son gatos.

Question 18

¿Cuál es el ámbito del cuantificador en la proposición: "Todos los perros son animales"?

Accepted Answer

Todos los perros

Answer

Solo "perro"

Answer

Solo "animal"

Answer

Tanto "perro" como "animal"

Question 19

¿Cuál de las siguientes afirmaciones es una proposición atómica?

Accepted Answer

El sol es una estrella.

Answer

Todos los perros son mamíferos.

Answer

x + y = 5

Answer

Madrid es la capital de Francia.

Question 20

¿Qué tipo de cuantificador se utiliza en la siguiente proposición: "Existen personas que son felices"?

Accepted Answer

Existencial

Answer

Universal

Answer

Negativo universal

Answer

Negativo existencial

Question 21

¿Cuál es el alcance del cuantificador en la siguiente proposición: "Para todo x, x es un número"?

Accepted Answer

El conjunto de todos los números

Answer

El conjunto de todos los objetos

Answer

El conjunto de todos los números naturales

Answer

El conjunto de todos los números racionales

Question 22

¿Cuál es la proposición molecular formada por la conjunción de las proposiciones "Madrid es una ciudad" y "Barcelona es una ciudad"?

Accepted Answer

Madrid es una ciudad y Barcelona es una ciudad.

Answer

Madrid es una ciudad o Barcelona es una ciudad.

Answer

Si Madrid es una ciudad, entonces Barcelona es una ciudad.

Answer

Barcelona es una ciudad si Madrid es una ciudad.

Question 23

¿Qué regla de inferencia permite obtener la proposición "q" a partir de las premisas "p" y "p -> q"?

Accepted Answer

Modus ponens

Answer

Modus tollens

Answer

Silogismo hipotético

Answer

Silogismo disyuntivo

Question 24

¿Cuál es la falacia informal que consiste en atacar al que presenta un argumento en lugar de al argumento en sí?

Accepted Answer

Falacia ad hominem

Answer

Falacia de pendiente resbaladiza

Answer

Falacia del hombre de paja

Answer

Falacia de apelación a la emoción

Question 25

¿Cuál es la función principal de los conectores lógicos en los predicados moleculares?

Accepted Answer

Combinar predicados atómicos para formar predicados moleculares

Answer

Ampliar el alcance de los predicados

Answer

Negar predicados

Question 26

¿Qué es el ámbito de un cuantificador en lógica?

Accepted Answer

El conjunto de elementos al que se aplica el cuantificador.

Answer

El número de elementos que cumplen el cuantificador.

Answer

El valor de verdad del cuantificador.

Question 27

¿Qué tipo de predicado es aquel que expresa una propiedad o característica de un solo objeto?

Accepted Answer

Predicado atómico

Answer

Predicado molecular

Answer

Predicado cuantificado

Answer

Predicado condicional

Question 28

En la proposición "Algunos niños juegan en el parque", ¿cuál es el sujeto y cuál el predicado?

Accepted Answer

Sujeto: algunos niños, Predicado: juegan en el parque

Answer

Sujeto: parque, Predicado: algunos niños juegan

Answer

Sujeto: niños, Predicado: algunos juegan en el parque

Question 29

¿Qué tipo de predicado combina dos o más predicados mediante un conector lógico?

Accepted Answer

Predicado molecular

Answer

Predicado cuantificado

Answer

Predicado atómico

Answer

Predicado implicador

Question 30

En la proposición "Todos los políticos son corruptos", ¿cuál es el cuantificador?

Accepted Answer

Todos

Answer

Políticos

Answer

Corruptos

Answer

Son

Question 31

¿Cuál es el ámbito del cuantificador universal?

Accepted Answer

Todos los elementos del universo del discurso relacionado con el sujeto

Answer

Los elementos más importantes del universo del discurso

Answer

Los elementos más comunes del universo del discurso

Answer

Sólo algunos elementos del universo del discurso

Question 32

Expresa la siguiente proposición en forma lógica: "No hay perros que sean verdes"

Accepted Answer

¬∃x(Dx ∧ Vx)

Answer

∃x(¬Dx ∨ ¬Vx)

Answer

∀x(¬Dx → Vx)

Answer

∀x(Dx → ¬Vx)

Question 33

En la proposición "Existen estudiantes que son responsables", ¿cuál es el alcance del cuantificador existencial?

Accepted Answer

Los estudiantes

Answer

Los estudiantes responsables

Answer

La proposición completa

Answer

Ser responsable

Question 34

Identifica el tipo de predicado de la proposición "Todos los gatos son felinos".

Accepted Answer

Cuantificado universal

Answer

Predicado molecular

Answer

Predicado atómico

Answer

Predicado existencial

Question 35

¿Cuál es el alcance del cuantificador en la proposición "Existen estudiantes que son deportistas"?

Accepted Answer

Los estudiantes

Answer

Ninguno de los anteriores

Answer

La proposición

Answer

Los deportistas

Question 36

¿Cuál es el predicado de la proposición "La casa es grande y espaciosa"?

Accepted Answer

Grande y espaciosa

Answer

Grande

Answer

Espaciosa

Answer

La casa

Question 37

Identifica el predicado de la proposición "El estudiante resolvió el ejercicio".

Accepted Answer

Resolvió el ejercicio

Answer

El estudiante

Answer

Ejercicio

Answer

Resolvió

Question 38

¿Cuál es el tipo de cuantificador en la proposición "Para todo número real x, x^2 es mayor o igual que 0"?

Accepted Answer

Cuantificador universal

Answer

Cuantificador particular

Answer

Ninguno de los anteriores

Answer

Cuantificador existencial

Question 39

Identifica el tipo de cuantificador en la proposición "Existen triángulos que tienen dos ángulos agudos".

Accepted Answer

Cuantificador existencial

Answer

Cuantificador universal

Answer

Cuantificador particular

Question 40

¿Cuál de los siguientes es un predicado atómico? Identifica una proposición simple sin cuantificadores ni conectores lógicos.

Accepted Answer

Sócrates es sabio.

Answer

x es mayor que y.

Answer

Todos los hombres son mortales.

Answer

Ningún gato es un perro.

Question 41

¿Cuál es el alcance del cuantificador universal en la proposición ∀x(Px → Qx)? Define el conjunto de elementos a los que se aplica el cuantificador.

Accepted Answer

El universo del discurso.

Answer

El predicado de Qx.

Answer

El sujeto de Px.

Answer

Ninguna de las anteriores.

Question 42

¿Cuál de las siguientes proposiciones es lógicamente equivalente a ¬∀x(Px)? Expresa la negación de una proposición cuantificada universal.

Accepted Answer

∃x(¬Px).

Answer

¬∃x(Px).

Answer

∀x(¬Px).

Answer

∃x(Px) → ∀x(¬Px).

Question 43

¿Cuál es el predicado molecular en la proposición (P → Q) ∨ R? Identifica el predicado compuesto por otros predicados mediante conectores lógicos.

Accepted Answer

P → Q.

Answer

R.

Answer

Ninguno de los anteriores.

Answer

(P → Q) ∨ R.

Question 44

¿Cuál de los siguientes cuantificadores representa 'para algunos' o 'existe al menos un'?

Accepted Answer

∃.

Answer

∀.

Answer

∨.

Answer

¬.

Question 45

¿Cuál de los siguientes predicados contiene una variable que representa un objeto y su relación con otro objeto?

Accepted Answer

El padre de x.

Answer

Ningún gato es un perro.

Answer

x es mayor que y.

Answer

Todos los hombres son mortales.

Question 46

¿Cuál de los siguientes es un predicado relacional? Identifica una proposición que expresa una relación entre dos o más objetos.

Accepted Answer

x es mayor que y.

Answer

Todos los hombres son mortales.

Answer

Sócrates es sabio.

Answer

Ningún gato es un perro.

Question 47

Si 'P(x)' representa la proposición 'x es un número par', ¿qué fórmula expresa la proposición 'Todos los números son pares'?

Accepted Answer

∀x P(x)

Answer

∃x P(x)

Answer

¬∀x P(x)

Answer

¬∃x P(x)

Question 48

La fórmula '∃x (P(x) ∧ Q(x))' se traduce como:

Accepted Answer

Existe al menos un x que cumple tanto P como Q.

Answer

Ningún x cumple P o Q.

Answer

Para cualquier x, si x cumple P entonces x cumple Q.

Answer

Todos los x cumplen P y Q.

Question 49

¿Cuál de las siguientes fórmulas es un predicado atómico?

Accepted Answer

P(x, y)

Answer

∀x P(x)

Answer

P(x) ∧ Q(y)

Answer

¬P(x)

Question 50

La negación de la proposición 'Algunos estudiantes son altos' es:

Accepted Answer

Ningún estudiante es alto.

Answer

Algunos estudiantes no son altos.

Answer

Todos los estudiantes son altos.

Question 51

La fórmula '∀x (P(x) → Q(x))' significa:

Accepted Answer

Para cualquier x, si x cumple P entonces x cumple Q.

Answer

Existe al menos un x que cumple P y Q.

Answer

Para cualquier x, si x cumple P entonces x no cumple Q.

Answer

Ningún x cumple P o Q.

Question 52

Si 'Q(x)' representa 'x es un número primo' y 'P(x)' representa 'x es un número par', ¿qué fórmula expresa 'Existe un número primo que es par'?

Accepted Answer

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

Answer

∀x (Q(x) ∧ P(x))

Answer

∃x (Q(x) → P(x))

Answer

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

Question 53

¿Cuál de las siguientes proposiciones es una tautología?

Accepted Answer

∀x (P(x) → P(x))

Answer

∃x (P(x) → ¬P(x))

Answer

∀x (P(x) ∧ ¬P(x))

Answer

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

Question 54

La proposición 'Todos los perros son mamíferos' se puede formalizar como:

Accepted Answer

∀x (P(x) → M(x))

Answer

∃x (P(x) ∧ M(x))

Answer

∃x (P(x) → M(x))

Answer

∀x (P(x) ∧ M(x))

Question 55

La fórmula '∃x (P(x) ∧ Q(x))' es verdadera si y solo si:

Accepted Answer

Existe al menos un objeto que cumple tanto P como Q.

Answer

Ningún objeto cumple P o Q.

Answer

Todos los objetos cumplen P o Q.