Lo que vamos a estudiar a continuación son algunas nociones de la lógica tal como se concibe en

la actualidad. Vimos que razonamos llevando a cabo inferencias; aquí se nos ofrece un
instrumento para determinar la validez de las mismas, estudiaremos la lógica como un sistema
formal que opera sobre los procesos de razonamiento mediante el cálculo, aplicando precisas
reglas de inferencia. Seguramente los procedimientos de la lógica te recordarán bastante a las
matemáticas. Esto no es casual, la lógica simbólica surge como resultado de la matematización
de la lógica tradicional. Veamos cómo fue el proceso.

El lenguaje habitual empleado dentro de una comunidad que comparte el mismo idioma se
denomina lenguaje natural. Es con éste con el que argumentamos y llevamos a cabo los
desarrollos lógicos habituales. Sin embargo, a la hora de analizar un razonamiento partiendo de
éste nos encontramos con serias dificultades; el lenguaje natural contiene numerosas lagunas y
ambigüedades, esto impide la aplicación de un análisis lógico riguroso a partir del mismo.
Necesitamos un lenguaje lógico que evite los inconvenientes del lenguaje natural.

Verdad de las proposiciones y validez de los razonamientos o

inferencias
Sabemos que las proposiciones son o verdaderas o falsas a lo que añadimos ahora que las
argumentaciones, razonamientos o inferencias serán correctas o válidas, pero no verdaderas o
falsas. Debemos distinguir entre la verdad de las proposiciones y la validez o corrección de los
argumentos. Veamos esto.

Formalización del lenguaje natural

Conocemos ya la notación simbólica empleada por la lógica proposicional. Nos encontramos ya en
condiciones de convertir expresiones del lenguaje natural en otras formalizadas.

Podemos formalizar el lenguaje natural simbolizando su estructura lógica mediante los símbolos
del lenguaje lógico.

Y ahora tú ... ¿te atreves?

Análisis lógico de los argumentos

Una vez formalizado un argumento es posible establecer, mediante tablas de verdad la validez de
ese razonamiento; para ello deberemos descomponerla en sus elementos básicos e ir
determinando los valores de verdad parciales hasta llegar al de la fórmula.

La deducción lógica
Siendo las tablas de verdad un instrumento adecuado para probar la validez de nuestros
razonamientos, es cierto que se trata de un mecanismo que se vuelve muy laborioso cuando se
aplica a un argumento extenso, especialmente si éste parte de más de dos variables proposicionales
(recuerda que por cada una de ellas, las combinaciones de 1 y 0 se doblan; para p son dos, para p
y q, cuatro, para p, q y r ocho, y así sucesivamente)