New game
Download
Get Academic Plan
Share game
Integrate it into your platform

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.

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.

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:

Test Lógica de enunciados

Quiz

Played 0

About this activity

Test 1. Lógica de enunciados (Introducción)

Created by

Spain
This game is a version of

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

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.

Print your game
Test Lógica de enunciados
 

Test Lógica de enunciadosOnline version

Test 1. Lógica de enunciados (Introducción)

by Julia Olavarrieta
1

Para representar en nuestro lenguaje formal de enunciados las partes variables de los mismos, emplearemos:

2

Para representar las partes constantes de los enunciados, es decir, las partículas que pueden conectar varios enunciados, emplearemos letras minúsculas con subíndices. ¿Es correcta esta afirmación?

3

Las letras enunciativas que empleamos en nuestro lenguaje formal son:

4

Este símbolo puede traducirse en nuestro lenguaje natural por: “es falso que…”. ¿Esto es cierto?

5

Este símbolo representa la:

6

Este símbolo representa la:

7

Este símbolo representa la:

8

Este símbolo representa la:

9

Para no abusar de paréntesis innecesarios, hemos acordado otorgar cierta preponderancia (más alcance) al conjuntor y al disyuntor sobre el implicador y el coimplicador. ¿Es correcta esta afirmación?

10

Cuando obtengamos la combinación de V (1) y F (0) en algunos de los casos como resultado final de una tabla de verdad, ello quiere decir que estamos ante un enunciado:

11

En una proposición simple, si p es verdadera, ¿qué dice la negación ¬p?

12

¿Qué resultado tiene p ∧ q cuando p es verdadera y q es falsa?

13

Si p es verdadera y q es falsa, ¿p ∨ q?

14

La implicación p → q es falsa en qué caso?

15

¿Qué es una tautología?

16

¿Qué significa satisfacible en lógica de enunciados?

17

De Morgan: ¬(p ∧ q) es equivalente a:

18

¿Qué representa la bicondicional p ↔ q?

19

Si p es falsa y q es cualquiera, ¿p → q?

20

¿Cuál es el resultado de p ∨ p?

Explicación

https://docs.wixstatic.com/ugd/1ed48f_87f2ec99a18144d1a4f23dc123884847.pdf

https://docs.wixstatic.com/ugd/1ed48f_87f2ec99a18144d1a4f23dc123884847.pdf

https://docs.wixstatic.com/ugd/1ed48f_87f2ec99a18144d1a4f23dc123884847.pdf

https://www.google.es/search?q=símbolos+logicos&source=lnms&tbm=isch&sa=X&ved=0ahUKEwiCoonX6MrXAhWIPhQKHQ4GAS8Q_AUICigB&biw=1366&bih=588#imgrc=fACgfzOSA_7tEM:

https://www.google.es/search?q=símbolos+logicos&source=lnms&tbm=isch&sa=X&ved=0ahUKEwiCoonX6MrXAhWIPhQKHQ4GAS8Q_AUICigB&biw=1366&bih=588#imgrc=fACgfzOSA_7tEM:

https://www.google.es/search?q=símbolos+logicos&source=lnms&tbm=isch&sa=X&ved=0ahUKEwiCoonX6MrXAhWIPhQKHQ4GAS8Q_AUICigB&biw=1366&bih=588#imgrc=fACgfzOSA_7tEM:

https://docs.wixstatic.com/ugd/1ed48f_87f2ec99a18144d1a4f23dc123884847.pdf

Are you sure you want to leave the page?

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