Proyecto final TICs

El proyecto final que realicé trata de la lógica proposicional y de darle una mejor didáctica para su comprensión mediante TIC.
Como indice a este proyecto econtramos

¿Qué es la Lógica Proposicional?
¿Qué es una proposición?
¿Cuáles son los tipos de propisiciones?
¿Qué y cuáles son los conectivos logicos?
En edmodo
Proyecto Jclic
Quiz

Para complementar tenemos en la parte derecha del blog dos videos en donde nos explican cómo podemos traducir el conociemiento de la logica proposicional al lenguaje natural
 y viceversa.

Como reforzador, en la plataforma edmodo, encontraremos un archivo en Jclic donde podremos jugar y practicar nuestros conociemientos de la Lógica proposicional. También en esta plataforma encontraremos un pequeño cuestionario de los temas vistos.

Este blog es producto del módulo TIC aplicadas a la educación del Diplomado en Docencia 2014 por la Universidad de Colima.

Lógica proposicional

La lógica proposicional o lógica de orden cero es un sistema formal cuyos elementos más simples representan proposiciones, y cuyas constantes lógicas, llamadas conectivas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad.
La lógica proposicional trata con sistemas lógicos que carecen de cuantificadores, o variables interpretables como entidades. En lógica proposicional si bien no hay signos para variables de tipo entidad, sí existen signos para variables proposicionales (es decir, que pueden ser interpretadas como proposiciones con un valor de verdad de definido), de ahí el nombre proposicional. La lógica proposicional incluye además de variables interpretables como proposiciones simples signos para conectivas lógicas, por lo que dentro de este tipo de lógica puede analizarse la inferencia lógica de proposiciones a partir de proposiciones, pero sin tener en cuenta la estructura interna de las proposiciones más simples.

Introducción al pensamiento Matemático: Geometría y Naturaleza.