PROGRAMA ANALLOGICA.

 ANALLOGICA. PROGRAMA DE LÓGICA.

Este software llamado " anallogica" es una herramienta tecnológica que sirve para entender un poco mejor los temas de lógica proposicional y por ende generar las tablas de verdad.

Como se puede observar es un programa sencillo, en la parte superior se encuentran los conectores lógicos de conjunción, disyunción, condicional (o implicación),bicondicional y la negación.

El profesor le puede explicar a los estudiantes  los conectores lógicos, la negación, lo que es una proposición, es una forma más grafica y divertida en el cual los estudiantes pueden aprender y divertirsen.

En la figura anterior se muestra la operación básica con la conjunción, es muy fácil de proceder, solo pones “a” (Proposicion a) presionas el botón de conjunción y agregas b (proposición b) , después procedes a operar en el botón “hacer” y te saca la tabla de verdad de la conjunción. El sistema es fácil de operar, puedes utilizar las proposiciones que quieras y los conectores lógicos que quieras. 

Aquí el profesor puede explicar las tablas de verdad de la conjunción, disjuncion , condicional y bicondicional, además hacer ejemplos que permitan al estudiante entender mejor.

En la figura anterior se muestra el desarrollo de la conjunción y el condicional, con tres proposiciones a,b y c , en el cuadro muestra la operación de a y b, y después operan el condicional.

Aquí el profesor puede explicar cómo operan los conectores lógicos con varias proposiciones, cual se opera primero y el manejo de paréntesis.

En la figura anterior,  hay un ejercicio con conjunción, disyunción y condicional, lo único que hay que tener en cuenta es el manejo de los paréntesis, en la tabla se observa el desarrollo de cada paréntesis (a y b) , el resultado de los dos paréntesis (A o B) y por último el resultado final que se muestra en la última casilla (C).

Aquí el docente invita a los estudiantes a realizar ejercicios, los motiva a que se aprendan las tablas de verdad con cierta lógica, los invita a hacer sus propios ejercicios en el cuaderno y que los comparen con los obtenidos en el software.