LA LÓGICA FORMAL

Bueno, los examenes están ya encima y empiezan los agobios. Incluso mucha gente no sabe aun los contenidos que entran en cada examen. Pues esta entrada de hoy va para esos despitadillos, ya que hoy voy a repasar todos los contenidos teóricos que os teneis que saber con respecto a la lógica formal.

Lo primero, saber que es la lógica formal.

La lógica formal es la ciencia que estudia el razonamiento válido, es decir, estudia aquellos razonamientos que garantizan que a partir de la verdad de las premisas es posible garantizar la verdad de la conclusión.

También tenemos que saber difenciar los términos verdad y validez.

La verdad es una cualidad de las proposiciones que nosotros les añadimos desde nuestro sistema de creencias.
Mientras que la validez, se refiere a a la forma de relación que se establece entre las premisas y la conclusión. Por lo tanto podemos asegurar que un argumento es válido, siempre y cuando no incumpla ninguna de las reglas de la sintaxis.

Argumentos apofánticos: argumentos que pueden ser verdaderos o falsos. Las proposiciones son argumentos apofánticos, excepto aquellas que expresan deseo, duda, conjetura, interrogación y exclamación.

El método de las tablas de verdad nos puede ofrecer tres resultados diferentes:

1.Indeterminación: el esquema argumentativo no es válido siempre; arroja en algunos casos la verdad y en otros la falsedad, dependiendo de la combinación.
2.Contradicción: todas las alternativas arrojan como resultado la falsedad.
3.Tautología: en todos los casos la forma del argumento ofrece un resultado verdadero, por lo que el argumento es válido.

El lenguaje esta formado por un alfabeto y unas reglas sintácticas con los que podemos construir palabras, juicios y oraciones. La lógica nos permite averiguar si esos argumentos son correctos o no, nos permite construir frases con sentido. De ahi la gran importancia de la lógica (además de la indudable importancia de la lógica en la infórmatica que ya ha comentado mi queridisimo compañero Yobates en la entrada anterior).

En cuanto a las leyes lógicas, os daré una gran noticia, (que probablemente conozcais), y es que no hace falta estudiarselas para el examen :D , ya que nos harán entrega de una hoja en la que vienen todas las leyes lógicas, aunque de poco os servirá si no sabéis manejarlas, así que voy a hacer un ejercicio aquí mismo.

Ahi que obtener t:

-1 p --> q
-2 (q^s) --> t
-3 r --> s
-4 p^r
5 p EC 4
6 r EC 4
7 s MP 3,6
8 q MP 1,5
9 q^s IC 7,8
10 t MP 2,9

Espero que os haya servido de ayuda.

Saludos

FILÓSOFO BELEROFONTE