New game
Download
SCORM download
To be used in an LMS (Moodle, Blackboard...)
Regular download
To be published on a website or blog.
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.
Get Academic Plan
If you wish, you can download a demo game here and test its integration:
Share game
Quiz
Quiz

Lógica Matemática Avanzada

Integrate it into your platform
G. Classroom M. Teams
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.

Get Academic 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.

Get Academic 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:

Get Academic Plan

Lógica Matemática Avanzada

Quiz

Played 0
Create copy

About this activity

Desafía tu mente con preguntas profundas de lógica.

Created by

Ernesto Duverger Terrero
Ernesto Duverger Terrero
Cuba

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
Make challenge

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.

Get Academic Plan
Print your game
Lógica Matemática Avanzada
 

Lógica Matemática AvanzadaOnline version

Desafía tu mente con preguntas profundas de lógica.

by Ernesto Duverger Terrero
1

¿Qué establece el teorema de completitud de Gödel para la lógica de primer orden?

2

¿Qué significa ‘cuantificadores’ en lógica de primer orden?

3

¿Qué aporta el teorema de Löwenheim–Skolem?

4

¿Qué describe la compactación en lógica de primer orden?

5

¿Qué significa undecidibilidad de un sistema lógico?

6

¿Qué es un modelo en lógica de primer orden?

7

¿Qué relación tiene Gödel con la incompletitud?

8

¿Qué describe la lógica modal?

9

¿Qué es la completitud semántica?

10

¿Qué enseña la hipótesis de Chow sobre archimedeidad?

 
Are you sure you want to leave the page?

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