Todo desarrollo matemático exige razonar en
forma valida acerca de cosas trascendentes y particularmente abstractas. Hay que
comenzar por eliminar las ambigüedades del lenguaje ordinario, introduciendo símbolos
y conectivos cuyo uso adecuado descarte las contingencias, aporte claridad y economía
de pensamiento. Un
lenguaje lógico se construye mediante un alfabeto de símbolos y la definición
de un conjunto de cadenas de símbolos de dicho alfabeto llamadas fórmulas bien formadas.
El tipo
más simple de lenguaje lógico corresponde a la Lógica Proposicional Clásica.
Esta lógica, con el objetivo de establecer los criterios sobre la exactitud de
los razonamientos, formalizará la parte más elemental del lenguaje natural en
el modo más simple.
BIBLIOGRAFIA
Libro Álgebra I. Armando O. Rojo
