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:

Juego de Lógica Computacional

Test

Jugadas 0

Sobre esta actividad

Conceptos básicos de lógica

Creada por

Estados Unidos

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
Juego de Lógica Computacional
 

Juego de Lógica ComputacionalVersión en línea

Conceptos básicos de lógica

por valentina moreno prada
1

¿Qué es una proposición en lógica computacional?

2

¿Cuál es la tabla de verdad de A ∧ B?

3

¿Qué representa la negación de p ∨ q?

4

¿Qué afirma el principio de no contradicción?

5

¿Cuándo es falsa la implicación p → q?

6

¿Qué significa p ↔ q?

7

¿Qué significa ∃x P(x)?

8

¿Qué es una tautología en lógica proposicional?

9

¿Qué es un predicado en lógica de predicados?

10

¿Qué método se utiliza para demostrar satisfacibilidad en lógica proposicional?

Explicación

Una proposición tiene valor de verdad: verdadera o falsa.

Conjunción es verdadera solo si ambas son verdaderas.

La negación de una disyunción es la conjunción de las negaciones.

No pueden ser verdaderas al mismo tiempo.

La implicación falla solo si p es verdadera y q es falsa.

Equivalencia bicondicional: ambos comparten valor de verdad.

Cuantificador existencial afirma existencia.

Tautología es veracidad universal.

Un predicado toma argumentos y devuelve una proposición.

La resolución es un método estándar para prueba de satisfacibilidad.

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

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