Quiz de Lógica de Predicados

Froggy Jumps

Jugadas 10

Crear copia

Sobre esta actividad

Desafía tu lógica con preguntas de predicados.

Creada por

Natalia Salomon

República Dominicana

Descarga la versión para jugar en papel

Top 10 resultados

#	Jugador	Acierto	tiempo
1	Natalia Salomon 8 de Octubre de 2025	% 30	01:31

¿Quieres aparecer en el Top 10 de este juego? Inicia sesión para identificarte.

Crea tu propio juego gratis desde nuestro creador de juegos

Compite contra tus amigos para ver quien consigue la mejor puntuación en esta actividad

Crear reto

Sabiduría animal

Educaplay Educational Resources

España

(15513)

Conviértete en un genio del Reino Animal
Salva a la Ranita

Melanie Rodriguez

Estados Unidos

(344)

Contesta las siguientes multiplicaciones correctamente para salvar a la ranita y evitar que caiga al agua, mucha suerte!
El valle de los lobos

Marcos Signes

España

(111)

20 preguntas de este maravilloso libro
Quiz de Culpa mía película

Yamila Chavez

Argentina

(178)

Demuestra cuánto sabes sobre la película Culpa mía con este divertido quiz.
OPEN UP 6 UNIT 1 VOCABULARY

karen blixen

España

(102)

Repasamos el vocabulario de la unidad

		%
	Anónimo	%
		%
		%

Imprime tu juego

Quiz de Lógica de Predicados


Froggy Jumps Quiz de Lógica de PredicadosVersión en línea Desafía tu lógica con preguntas de predicados. por Natalia Salomon 1 ¿Qué símbolo representa la cuantificación universal? a ParaTodo b Existe c Existo 2 Si P(x) es verdadera para todo x en D, ¿qué niega P(a)? a ∀x P(x) b P(a) c ¬P(a) 3 ¿Qué describe mejor un predicado? a Una singularidad b Una proposición sin variables c Una propiedad sobre objetos del dominio 4 ¿Qué simboliza ∀x (P(x) → Q(x))? a Para todo x, P→Q b Existe x tal que P implica Q c Si P es cierta para todo x, entonces Q es cierta para todo x 5 ¿Qué cambia al renombrar una variable ligadura en ∀x P(x)? a La verdad de P(x) b La existencia de witness c El dominio no cambia 6 ¿Qué es una negación correcta de ∀x P(x)? a ∀x ¬P(x) b ∃x P(x) c ∃x ¬P(x) 7 Si ∃x R(x) es verdadero, ¿qué no se puede afirmar? a R(a) para todo a b R(a) para algún a distinto c R(a) para algún a 8 Qué concepto describe la sustitución de x por y en P(x)? a Renombrado de variable b Evaluación de verdad c Conjunto de datos 9 ¿Qué forma es válida para expresar que todos son humanos? a ∀x (Humano(x) → Persona(x)) b ∃x Humano(x) c Humano(x) ∧ Persona(x) 10 ¿Qué regla aplica al quitar predicados repetidos en una conjunción? a Distributividad b Asociatividad c Idempotencia 11 ¿Qué representa un predicado en Lógica de Predicados? a La interpretación de un símbolo sin significado b Una propiedad que depende de uno o más objetos c Una simple proposición verdadera o falsa 12 En un dominio D, ¿qué indica la variable x? a Una constante fija b Un elemento posible de D sobre el que se evalúa c Una proposición independiente 13 Qué es una constante en Lógica de Predicados? a Un símbolo que denota un objeto específico en D b Una variable de cuantificación c Un operador lógico 14 La aridad de un predicado se refiere a: a Número de argumentos que toma b La cantidad de predicados en la fórmula c La profundidad de la fórmula 15 ¿Qué hace el cuantificador universal ∀? a Indica existencia de al menos uno b Niega la fórmula c Indica que la fórmula vale para todo elemento del dominio 16 ¿Qué hace el cuantificador existencial ∃? a Indica que no hay elementos b Indica que existe al menos un elemento del dominio c Nega la existencia de cualquier elemento 17 Una interpretación asigna: a Una norma gramatical de la lógica b Una único valor verdadero c Un dominio y una denotación a cada símbolo 18 La verdad de una fórmula depende de: a La interpretación y el dominio escogidos b La cantidad de variables c La longitud de la fórmula 19 Una estructura se compone de: a Un conjunto vació de símbolos b Una lista de proposiciones sin predicados c Dominio, constantes, predicados e funciones interpretadas 20 ¿Qué es una tautología en lógica de predicados? a Una fórmula falsa en alguna interpretación b Una fórmula verdadera en toda interpretación c Una fórmula sin cuantificadores

Puedes integrar el juego en un LMS compatible con LTI 1.1 o LTI 1.3 como Canvas, Moodle, o Blackboard. De esta manera podrás guardar las puntuaciones automáticamente en el libro de calificaciones de esa plataforma.

Quiz de Lógica de Predicados

Froggy Jumps

Sobre esta actividad

Creada por

Descarga la versión para jugar en papel

Top juegos

Froggy Jumps

Sabiduría animal

Froggy Jumps

Salva a la Ranita

Froggy Jumps

El valle de los lobos

Froggy Jumps

Quiz de Culpa mía película

Froggy Jumps

OPEN UP 6 UNIT 1 VOCABULARY

Froggy Jumps

Quiz de Lógica de PredicadosVersión en línea

por Natalia Salomon

¿Qué símbolo representa la cuantificación universal?

Si P(x) es verdadera para todo x en D, ¿qué niega P(a)?

¿Qué describe mejor un predicado?

¿Qué simboliza ∀x (P(x) → Q(x))?

¿Qué cambia al renombrar una variable ligadura en ∀x P(x)?

¿Qué es una negación correcta de ∀x P(x)?

Si ∃x R(x) es verdadero, ¿qué no se puede afirmar?

Qué concepto describe la sustitución de x por y en P(x)?

¿Qué forma es válida para expresar que todos son humanos?

¿Qué regla aplica al quitar predicados repetidos en una conjunción?

¿Qué representa un predicado en Lógica de Predicados?

En un dominio D, ¿qué indica la variable x?

Qué es una constante en Lógica de Predicados?

La aridad de un predicado se refiere a:

¿Qué hace el cuantificador universal ∀?

¿Qué hace el cuantificador existencial ∃?

Una interpretación asigna:

La verdad de una fórmula depende de:

Una estructura se compone de:

¿Qué es una tautología en lógica de predicados?