Saltar navegación

Lógica proposicional

¿Coche o cabra?

matematico314gye El Problema de Monty Hall Licencia Youtube estándar


¿Qué puerta elegirías? ¿Cambiarías tu primera elección? En algunas ocasiones la intuición intuición falla y es preferible resolver las cuestiones con "Lógica". Veamos de qué va eso de la lógica...

Lógica proposicional

Estuadiaremos ahora con algo de detalle la Lógica proposicional, surgida a principios del siglo XX y que sentaría una de las bases de la construcción de ordenadores. Un mundo de unos y ceros.

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).