Quiz de Lógica de Predicados

Froggy Jumps

Played 10

Create copy

About this activity

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

Created by

Natalia Salomon

Dominican Republic

Download the paper version to play

Top 10 results

#	Player	Accuracy	time
1	Natalia Salomon October 8, 2025	% 30	01:31

Do you want to stay in the Top 10 of this game? Log in to identify yourself.

Make your own free game from our game creator

Compete against your friends to see who gets the best score in this game

Make challenge

pizza

Lorelay Tyana

Romania

(278)

joc despre pizza
Bill of Rights Game - The Constitutionalist

Doni The Don

United States

(92)

Test your knowledge on the Bill of Rights. A fun way to test your knowledge and focus on where you need to improve.
Ethos, Pathos, and Logos Quiz

Kristine Vester

United States

(143)

Test your knowledge of ethos, pathos, and logos with these 10 questions on examples of persuasive techniques.
Phlebotomy Order of Draw Quiz

Pamela Chapman

United States

(64)

Test your knowledge of the order of draw in Phlebotomy with these 10 questions!
The Integumentary System

Breanna Nesbitt

United States

(59)

Functions and Structures of the skin

		%
	Anonymous	%
		%
		%

Print your game

Quiz de Lógica de Predicados


Froggy Jumps Quiz de Lógica de PredicadosOnline version Desafía tu lógica con preguntas de predicados. by 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

You can integrate the game into an LMS compatible with LTI 1.1 or LTI 1.3 such as Canvas, Moodle, or Blackboard. This way, the scores will be automatically saved into the platform’s gradebook.

Quiz de Lógica de Predicados

Froggy Jumps

About this activity

Created by

Download the paper version to play

Top Games

Froggy Jumps

pizza

Froggy Jumps

Bill of Rights Game - The Constitutionalist

Froggy Jumps

Ethos, Pathos, and Logos Quiz

Froggy Jumps

Phlebotomy Order of Draw Quiz

Froggy Jumps

The Integumentary System

Froggy Jumps

Quiz de Lógica de PredicadosOnline version

by 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?