LÓGICA PROPOSICIONAL: INTRODUCCIÓN I PARTE

DEFINICIÓN DE LÓGICA:

Se define como la ciencia del razonamiento o ciencia que estudia las leyes del pensamiento. Aristóteles, 332 a.C.

En detalle, la palabra se descompone de:
log --> logos --> Pensamientos, razonamiento, estudio...
icas --> relación entre la teoría y la práctica que se exterioriza.

De lo cual se deduce que la lógica es la ciencia parte de la filosofía que estudia el pensamiento o razonamiento expresado entre la teoría y la practica que se exterioriza, o, ciencia que expone las leyes, modos y formas del conocimiento científico.

Por otro lado, los pensamientos y por ende, los razonamientos, deben ser expresados o manifestados en un lenguaje basado en símbolos inequívocos y reglas bien definidas para combinar tales símbolos y así producir expresiones diáfanas en dicho lenguaje (artificial), como son las proposiciones.

Leibniz, G. (1646 - 1716) y Boole, G. (1815-1864), son considerados como los fundadores de la Lógica Matemática, crearon una base simbólica para permitir mediante una serie de algoritmos, estudiar las estructuras de los pensamientos y sus relaciones, en un intento por traducir el razonamiento en un cálculo matemático.

Finalmente, los tres (3) elementos del lenguaje simbólico o lógico proposicional son: las variables proposicionales, los operadores o conectivos lógicos y los signos de agrupación.

En el último punto continuaremos el tema.