logica

La Lógica proposicional es la más antigua y simple de las formas de lógica. Utilizando una representación primitiva del lenguaje, permite representar y manipularaserciones sobre el mundo que nos rodea. También recibe el nombre de Cálculo Proposicional.
Fundamentos
La lógica proposicional permite el razonamiento, a través de un mecanismoque primero evalúa sentencias simples y luego sentencias complejas, formadas mediante el uso de conectivos proposicionales, por ejemplo Y (AND), O (OR). Este mecanismodetermina la veracidad de una sentencia compleja, analizando los valores de veracidad asignados a las sentencias simples que la conforman.
Proposiciones
La proposición esun elemento fundamental de la Lógica matemática que trabaja solamente con proposiciones o Lógica Proposicional o de Proposiciones. Por eso, lo primero es reconocer queoraciones o frases constituyen proposiciones y cuales no.
Proposiciones lógicamente equivalentes
Se dice que dos proposiciones son lógicamente equivalentes si ambas tienenlos mismos valores de verdad para todas las combinaciones de valores de las proposiciones simples que las componen. Es decir, en cada una de las interpretaciones de ambas,los valores de verdad de ambas proposiciones son iguales.
Proposiciones simples
Una proposición o enunciado es una oración que puede ser verdadera o falsa pero no ambasa la vez. O sea, la principal propiedad de una proposición es que toma uno de valores de verdad posibles, o bien son verdaderas o bien son falsas.
Proposicionescompuestas
Una proposición compuesta es aquella que no está solamente compuesta por una proposición simple. Ejemplos:
 p : Dos y dos son cuatro; cuatro y dos son seis
 q : 4