Crear
Descargar
Descarga SCORM
Para ser utilizado en un LMS (Moodle, Blackboard...)
Descarga normal
Para ser publicada en una web o blog.
La descarga de juegos es una característica exclusiva para usuarios con un Plan Académico o un Plan Comercial.
Obtén ahora tu Plan Académico o Comercial y comienza a integrar tus juegos en tu LMS, web o blog.
Obtener Plan Académico
Si lo deseas, puedes descargar un juego de prueba aquí y probar su integración:
Compartir juego
Test
Test

Representación del conocimiento: predicados

Intégralo en tu plataforma
G. Classroom M. Teams
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.
Descargar
Has superado el número máximo de juegos que puedes integrar en Google Classroom con tu Plan actual.

Para integrar tantos juegos como quieras en Google Classroom, necesitas un Plan Académico o un Plan Comercial.

Obtener Plan Académico
Has superado el número máximo de juegos que puedes integrar en Microsoft Teams con tu Plan actual.

Para integrar tantos juegos como quieras en Microsoft Teams, necesitas un Plan Académico o un Plan Comercial.

Obtener Plan Académico
La descarga de juegos es una característica exclusiva para usuarios con un Plan Académico o un Plan Comercial.

Obtén ahora tu Plan Académico o Comercial y comienza a integrar tus juegos en tu LMS, web o blog.

Si lo deseas, puedes descargar un juego de prueba aquí y probar su integración:

Obtener Plan Académico

Representación del conocimiento: predicados

Test

Jugadas 1
Crear copia

Sobre esta actividad

Quiz sobre predicados y cálculo de predicados.

Creada por

AGUSTIN F. M. MELCHOR HARO
AGUSTIN F. M. MELCHOR HARO
México

Descarga la versión para jugar en papel

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

Top juegos

 %
Anónimo
Anónimo
 %
%
%
Has superado el número máximo de juegos que puedes imprimir con tu Plan actual.

Para imprimir tantos juegos como quieras, necesitas un Plan Académico o un Plan Comercial.

Obtener Plan Académico
Imprime tu juego
Representación del conocimiento: predicados
 

Representación del conocimiento: predicadosVersión en línea

Quiz sobre predicados y cálculo de predicados.

por AGUSTIN F. M. MELCHOR HARO
1

¿Qué es un predicado en lógica de predicados?

2

¿Qué representa la aridad de un predicado?

3

Ejemplo de predicado con dos argumentos es:

4

¿Qué indica el cuantificador universal?

5

¿Qué indica el cuantificador existencial?

6

Una fórmula atómica en cálculo de predicados es:

7

El orden de los argumentos en predicados es:

8

¿Qué es una forma estándar en predicados?

9

Ejemplo de predicado unicando a un objeto sería:

10

La forma de predicados con cláusulas de Horn se usa para:

Explicación

Un predicado expresa una propiedad o relación que se aplica a los términos.

La aridad indica cuántos términos intervienen en el predicado.

madre(María, Juana) es un predicado binario; otros ejemplos no muestran dos argumentos.

∀x A se lee: para todo x, A es verdadero.

∃x A se lee: existe al menos un x tal que A.

Las fórmulas atómicas son predicado(arg1, arg2, ...).

El orden de argumentos determina el significado del predicado.

La forma estándar facilita técnicas como la resolución por refutación.

gato(x) es un predicado unario; otros textos no respetan la estructura predicado(argumentos).

Las cláusulas de Horn permiten resolución eficiente en razonamiento automático.

 
¿Estás seguro que quieres abandonar la página?

Al abandonar la página perderás el progreso del juego.