Crear
Descargar
Descarga SCORM
Para ser utilizado en un LMS (Moodle, Blackboard...)
Descarga normal
Para ser publicada en una web o blog.
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.
Obtener Plan Académico
Si lo deseas, puedes descargar un juego de prueba aquí y probar su integración:
Compartir juego
Test
Test

Lógica computacional: Quiz

Intégralo en tu plataforma
G. Classroom M. Teams
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.

Obtener Plan Académico
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.

Obtener Plan Académico
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:

Obtener Plan Académico

Lógica computacional: Quiz

Test

Jugadas 2
Crear copia

Sobre esta actividad

Quiz de lógica proposicional

Creada por

Dannia Lisseth Herrera Ramirez
Dannia Lisseth Herrera Ramirez
Colombia

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
Crear reto

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.

Obtener Plan Académico
Imprime tu juego
Lógica computacional: Quiz
 

Lógica computacional: QuizVersión en línea

Quiz de lógica proposicional

por Dannia Lisseth Herrera Ramirez
1

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

2

¿Qué operador corresponde a la negación de una proposición A?

3

¿Qué ley dice que P ∨ (P ∧ Q) es igual a P?

4

¿Cuál es la equivalencia entre P ∧ Q y Q ∧ P?

5

Si P → Q es verdadero y P es verdadero, ¿qué se deduce de P → Q?

6

¿Qué forma muestra la equivalencia entre P ∨ Q y ¬P → Q?

7

¿Qué operador resulta de aplicar De Morgan a (A ∧ B)?

8

¿Qué garantiza la tabla de verdad de una proposición?

9

¿Qué significa que dos proposiciones sean lógicamente equivalentes?

10

¿Qué regla permite distribuir ∧ sobre ∨ en una expresión? (P ∧ (Q ∨ R))

Explicación

La tautología es siempre verdadera sin importar las asignaciones de verdad.

La negación de A se expresa como ¬A.

La absorción simplifica con la forma P ∨ (P ∧ Q) = P.

La conmutatividad indica que el orden no importa.

Una implicación verdadera con P verdadero implica Q verdadero.

P ∨ Q es lógicamente equivalente a ¬P → Q.

De Morgan: ¬(A ∧ B) = ¬A ∨ ¬B.

La tabla de verdad enumera todas las combinaciones de verdad.

Equivalentes: P ≡ Q tienen la misma verdad en todas las filas.

Distributividad: P ∧ (Q ∨ R) = (P ∧ Q) ∨ (P ∧ R).

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

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