Formas Proporcionales

INTRODUCCIÓN
En forma natural, el ser humano representa el conocimiento simbólicamente: imágenes, lenguaje hablado y lenguaje escrito. Adicionalmente, ha desarrollado otros sistemas derepresentación del conocimiento: literal, numérico, estadístico, estocástico y lógico.
La lógica proposicional es la más antigua y simple de las formas de lógica. Utilizando una representación primitiva dellenguaje, permite representar y manipular aseveraciones sobre el mundo que nos rodea. La lógica proposicional permite el razonamiento, a través de un mecanismo que primero evalúa sentencias simples y luegosentencias complejas.
 
George Boole
Nació en Irlanda (18151864)
El gran descubrimiento de Boole fue aplicar una serie de símbolos a operaciones lógicas y hacer que estos símbolos y operaciones–por elección cuidadosa– tuvieran la misma estructura lógica que el álgebra convencional. En el álgebra de Boole, los símbolos podían manipularse según reglas fijas que producirían resultados lógicos.
Enel año 1854 publicó una investigación de las leyes del pensamiento sobre las cuales son basadas las teorías matemáticas de Lógica y Probabilidad
 Agudizó la analogía entre los símbolos algebraicos yaquellos que representan formas lógicas. Comenzaba el álgebra de la lógica llamada Álgebra Booleana la cual ahora encuentra aplicación en la construcción de computadoras, circuitos eléctricos, etc.Considérense los símbolos de la figura No. 1, utilizándolos podemos decir que Boole pensaba que a una proposición se le podía asignar valores de verdad o falsedad, por ejemplo:
Si llueve me mojo
P= Sí llueve
Q = Me mojo

Conceptos básicos previos.

* Tipos de proposiciones

Proposiciones atómicas.- Aquellas proposiciones que no figuran ningún operador lógico. Ejemplo:
Yo voy alcine.
a: Yo voy al cine.
Proposiciones moleculares.- Aquellas que están compuestas por varias proposiciones atómicas unidas por conectores lógicos. Ejemplo:
a⟹b∧(a ∨b)

* Operadores...