Lógica Matemática Avanzada

Test

Jugadas 0

Crear copia

Sobre esta actividad

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

Creada por

Ernesto Duverger Terrero

Cuba

Descarga la versión para jugar en papel

Top 10 resultados

Todavía no hay resultados para este juego. ¡Sé el primero en aparecer en el ranking! Inicia sesión para identificarte.

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

		%
	Anónimo	%
		%
		%

Imprime tu juego

Lógica Matemática Avanzada


Lógica Matemática AvanzadaVersión en línea Desafía tu mente con preguntas profundas de lógica. por Ernesto Duverger Terrero 1 ¿Qué establece el teorema de completitud de Gödel para la lógica de primer orden? a Todo conjunto de fórmulas es decidible b Toda teoría tiene un modelo c Toda teoría consistente es completa d Si una oración es verdadera en toda interpretación, es demostrable 2 ¿Qué significa ‘cuantificadores’ en lógica de primer orden? a Indican operaciones lógicas de conjunción b Expresan existencia o universalidad sobre individuos c Son equivalentes a conectores lógicos d Definen funciones recursivas 3 ¿Qué aporta el teorema de Löwenheim–Skolem? a Existen universos con cardinalidad infinita sólo b Todo teorema tiene una demostración algebraica c Existen modelos de distintos tamaños para teorías complejas d Toda teoría es decidible 4 ¿Qué describe la compactación en lógica de primer orden? a La deducción es finita para todas las pruebas b Una teoría es satisfacible si cada subconjunto finito lo es c La satisfacibilidad implica decidibilidad d Toda teoría satisface en cualquier modelo 5 ¿Qué significa undecidibilidad de un sistema lógico? a No existe algoritmo que decida toda afirmación b Siempre hay una demostración corta c Todos los enunciados son decidibles d Todo modelo es único 6 ¿Qué es un modelo en lógica de primer orden? a Una estructura con dominio y interpretación de símbolos b Un conjunto de axiomas sin interpretación c Una derivación de secciones de pruebas d Una función recursiva estocástica 7 ¿Qué relación tiene Gödel con la incompletitud? a Toda verdad es demostrable b La incompletitud solo aplica a aritmética c Existen enunciados verdaderos no demostrables en el sistema d No hay enunciados no demostrables 8 ¿Qué describe la lógica modal? a Necesidad, posibilidad y otros modos de verdad b Algoritmos de decisión c Cuantificación de funciones d Conjuntos de axiomas finitos 9 ¿Qué es la completitud semántica? a Toda verdad semántica es demostrable sintácticamente b La semántica y sintaxis nunca coinciden c Toda demostración es semánticamente válida d La semántica no aplica a primer orden 10 ¿Qué enseña la hipótesis de Chow sobre archimedeidad? a Propone una nueva axiomatización para geometría b Relaciones entre ordenes y saturación en modelos c Niega la existencia de modelos no triviables d Afirma que todos los modelos son finitos

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.

Lógica Matemática Avanzada

Test

Sobre esta actividad

Creada por

Descarga la versión para jugar en papel

Top juegos

Test

Brawl stars preguntas

Test

Verbos irregulares en Inglés

Test

Cultura general española

Test

Tipos de sintagmas (II)

Test

cuanto sabes de Futbol

Lógica Matemática AvanzadaVersión en línea

por Ernesto Duverger Terrero

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

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

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

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

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

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

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

¿Qué describe la lógica modal?

¿Qué es la completitud semántica?

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