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:

%
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
Lógica simbólica: proposiciones y operadores
 

Crossword Puzzle

Lógica simbólica: proposiciones y operadoresOnline version

Crucigrama de lógica simbólica

by Tania Cahuasiri
1

La conjunción es un operador lógico que conecta dos proposiciones con el “y”.

2

La disyunción es un operador lógico que conecta dos proposiciones utilizando el “o” inclusivo, se usa para afirmar que al menos una de las dos proposiciones es verdadera.

3

La negación es un operador lógico que invierte el valor de verdad de una proposición, es decir, si una proposición es verdadera, su negación será falsa y si la proposición es falsa, su negación será verdadera.

4

La implicación es un operador lógico que establece una relación condicional entre dos proposiciones, es decir, conecta dos proposiciones de tal manera que el enunciado “Si p, entonces q” describe una relación de causa y efecto entre p (el antecedente

5

El bicondicional es un operador lógico que muestra que dos proposiciones son equivalentes, es decir, que ambas tienen el mismo valor de verdad.

6

Proposición es un enunciado que puede ser verdadero o falso.

7

El principio de identidad, establece que “una cosa es lo que es”, en términos simples, si algo es A, entonces es A, y no puede ser otra cosa.

8

El principio del tercer excluido, completa las leyes del pensamiento, afirma que, entre dos afirmaciones contradictorias, no existe una tercera opción posible.

9

El principio de no contradicción, es otro pilar fundamental de la lógica, establece que una afirmación y su negación no pueden ser ambas verdaderas al mismo tiempo y en el mismo sentido.

10

Principio de razón suficiente, este principio establece que todo lo que existe o sucede tiene una razón suficiente que explica por qué es así y no de otra manera.

11

Las tablas de verdad son una herramienta fundamental en lógica simbólica que nos permite evaluar la validez de argumentos mediante un análisis de todas las combinaciones posibles.

12

Verdadero: proposición cuyo valor de verdad es verdadero.

13

Falso: proposición cuyo valor de verdad es falso.

14

Antecedente en la implicación es la proposición que da lugar al consecuente.

15

Consecuente en la implicación es la proposición que se sigue del antecedente.

16

La deducción es el proceso de derivar conclusiones a partir de premisas.

17

La inducción es un proceso de razonamiento que nos permite llegar a conclusiones generales a partir de casos particulares.

18

Proposición simple: enunciado que puede ser verdadero o falso sin conectores lógicos.

10
13
1
18
15
8
16
7
9
11
2
5
4
3
6
17
12
14
Are you sure you want to leave the page?

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