New game
Download
Get Academic Plan
Share game
Integrate it into your platform

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.
Download
You have exceeded the maximum number of games you can integrate into Google Classroom with your current Plan.

To integrate as many games as you want in Google Classroom, you need an Academic Plan or a Commercial Plan.

You have exceeded the maximum number of games you can integrate into Microsoft Teams with your current Plan.

To integrate as many games as you want in Microsoft Teams, you need an Academic Plan or a Commercial Plan.

Downloading games is an exclusive feature for users with an Academic Plan or a Commercial Plan.

Get your Academic Plan or your Commercial Plan now and start integrating your games into your LMS, website or blog.

If you wish, you can download a demo game here and test its integration:

Semántica Composicional:

Riddle

Played 8

About this activity

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

Created by

Colombia

Download the paper version to play

Make your own free game from our game creator
Compete against your friends to see who gets the best score in this game

Top Games

%
Anonymous
Anonymous
%
%
%
You have exceeded the maximum number of games you can print with your current Plan.

To print as many games as you want, you need an Academic Plan or a Commercial Plan.

Print your game
Semántica Composicional:
 

Semántica Composicional:Online version

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

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

Are you sure you want to leave the page?

If you leave the page, you will lose your game progress.