Crear
Descargar
Obtener Plan Académico
Compartir juego
Intégralo en tu plataforma

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.

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.

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:

Semántica Composicional:

Adivinanza

Jugadas 8

Sobre esta actividad

La interpretación de las oraciones en base a la combinación de funciones y argumentos.

Creada por

Colombia

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

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.

Imprime tu juego
Semántica Composicional:
 

Semántica Composicional:Versión en línea

La interpretación de las oraciones en base a la combinación de funciones y argumentos.

por Dayanna Vega
1

"Soy un símbolo que con funciones me enfrento, defino variables y argumentos dentro del pensamiento. Si a uno aplico, el otro se satura, y juntos formamos verdad con gran altura. ¿Qué soy?"

Pistas

Es un símbolo que se usa en la lógica y programación funcional. Se utiliza para crear funciones y abstraer variables. Su uso es fundamental en la semántica formal.

2

Cuando los significados se suman sin error, combinando partes con mucho rigor, con cada pieza, una oración al fin, donde el resultado es siempre un ‘sí’ o un ‘no’. ¿Qué proceso describe este valor?

Pistas

Este principio asegura que el significado de una oración se construye a partir del significado de sus partes Se refiere a cómo las palabras y frases se combinan en un sistema lógico Es un concepto central en la semántica de Montague

3

Con 'todo', 'ningún' y 'algún' juego, en el mundo de los cuantificadores me deslizo, y el significado de una oración cambio, dependiendo de qué conjunto elijo. ¿Quién soy?

Pistas

Este tipo de palabra define la cantidad o la existencia de elementos en un conjunto. A menudo se usa para hacer generalizaciones o establecer restricciones. Se encuentra comúnmente en frases como “todo hombre”, “ningún perro”, “algún estudiante”.

4

"A veces un tipo no encaja bien..."

Pistas

Este problema ocurre cuando se intenta combinar elementos de tipos semánticos que no son compatibles. Es común en la lógica de tipos y en el cálculo λ. Se soluciona con operaciones adicionales que modifican los tipos de los elementos.

5

A veces soy universal y amplio, como 'todo', abarco mucho sin dar paso, otras veces existo en forma concreta, como 'algún', pero sin dar promesa. ¿Quién soy?

Pistas

Los cuantificadores como "todo" y "algún" definen el alcance de las afirmaciones en una oración. Pueden ser universales o existenciales. Son fundamentales en la semántica lógica, especialmente cuando se habla de conjuntos y predicados.

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

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