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:

Desafío de Lógica Simbólica

Sí o No

Jugadas 2

Sobre esta actividad

Resuelve preguntas de lógica simbólica.

Creada por

Ecuador

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
Desafío de Lógica Simbólica
 

Desafío de Lógica SimbólicaVersión en línea

Resuelve preguntas de lógica simbólica.

por NANCY PATRICIA ALLÁN VÉLEZ
1

En lógica simbólica, la negación de una conjunción es la conjunción de las negaciones.

2

La lógica proposicional utiliza conectivos como: y, o, no, si... entonces.

3

Una contradicción puede ser verdadera en algunas interpretaciones.

4

En lógica de predicados, un término libre de predicado nunca puede aparecer en una fórmula bien formada.

5

Una tautología es una fórmula que siempre es verdadera, sin importar las valoraciones de las variables.

6

Un argumento válido siempre tiene premisas verdaderas.

7

El cuantificador universal ∀ indica existencia de al menos un individuo que cumpla la propiedad.

8

En una tabla de verdad, una oración es una tautología cuando todas las filas dan verdadero.

9

El símbolo del conector lógico ^ indica la operación de disyunció

10

El modo de inferencia modus ponens dice: si p implica q y p es verdadera, entonces q es verdadera.

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

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