Logica matematica

Lic. Ana Julia Nayar

LÓGICA MATEMÁTICA O FORMAL O SIMBÓLICA
La lógica formal o simbólica, a diferencia de la lógica clásica, utiliza un
lenguaje artificial, es decir, está rigurosamenteconstruido, no admite cambios en el
tiempo y es universal; por otra parte, no puede aplicarse al lenguaje en su función
expresiva. Dicho con otras palabras, prescinde de todo tipo de contenido y esabsolutamente formal.
El procedimiento por el cual se pasa de un razonamiento o de una
proposición de lenguaje común a su forma lógica lo llamamos: ABSTRACCIÓN.
Al procedimiento inverso lo llamamosINTERPRETACIÓN. Esto se logra
asignando un contenido a sus formas vacías.
Astricción e interpretación son dos procedimientos útiles para considerar la
corrección o incorrección de los razonamientos.
LaLógica Formal se divide en tres partes:
- Lógica Proposicional
- Lógica de Predicados
- Lógica de Clases
Nosotros estudiaremos sólo una de sus ramas: la lógica proposicional.
Lógica Proposicionall) Las proposiciones atómicas y moleculares:
Las proposiciones se dividen en dos grandes grupos:
- atómicas
- moleculares
Una expresión es atómica cuando no se puede descomponer en otra mássimple, y de la que tiene sentido predicar su verdad o falsedad.
Se simboliza con las letras “p”, “q”, “r”, “s”, ...
Una expresión es molecular cuando se forma combinando enunciados
atómicos. Su valorde verdad depende del valor de verdad de las proposiciones
atómicas que lo conformen.

Lic. Ana Julia Nayar

II) Conectivas lógicas:
Se llaman conectivas lógicas o nexos lógicos a la/spalabra/s que sirve/n para
conectar proposiciones entre sí o para modificar el valor de verdad de una
proposición.
Teniendo en cuenta los nexos lógicos de las proposiciones tenemos las
siguientes clasesde proposiciones moleculares:
- Conjuntivas
Una proposición conjuntiva es verdadera sí y sólo sí ambos componentes son
verdaderos.
El nexo “y” puede ser reemplazado por aunque, pero, además,...