You are on page 1of 7

Lic.

Ana Julia Nayar

LGICA MATEMTICA O FORMAL O SIMBLICA


La lgica formal o simblica, a diferencia de la lgica clsica, utiliza un
lenguaje artificial, es decir, est rigurosamente construido, no admite cambios en el
tiempo y es universal; por otra parte, no puede aplicarse al lenguaje en su funcin
expresiva. Dicho con otras palabras, prescinde de todo tipo de contenido y es
absolutamente formal.
El procedimiento por el cual se pasa de un razonamiento o de una
proposicin de lenguaje comn a su forma lgica lo llamamos: ABSTRACCIN.
Al procedimiento inverso lo llamamos INTERPRETACIN. Esto se logra
asignando un contenido a sus formas vacas.
Astriccin e interpretacin son dos procedimientos tiles para considerar la
correccin o incorreccin de los razonamientos.
La Lgica Formal se divide en tres partes:
- Lgica Proposicional
- Lgica de Predicados
- Lgica de Clases
Nosotros estudiaremos slo una de sus ramas: la lgica proposicional.
Lgica Proposicional
l) Las proposiciones atmicas y moleculares:
Las proposiciones se dividen en dos grandes grupos:
- atmicas
- moleculares
Una expresin es atmica cuando no se puede descomponer en otra ms
simple, y de la que tiene sentido predicar su verdad o falsedad.
Se simboliza con las letras p, q, r, s, ...
Una expresin es molecular cuando se forma combinando enunciados
atmicos. Su valor de verdad depende del valor de verdad de las proposiciones
atmicas que lo conformen.

Lic. Ana Julia Nayar

II) Conectivas lgicas:


Se llaman conectivas lgicas o nexos lgicos a la/s palabra/s que sirve/n para
conectar proposiciones entre s o para modificar el valor de verdad de una
proposicin.
Teniendo en cuenta los nexos lgicos de las proposiciones tenemos las
siguientes clases de proposiciones moleculares:
- Conjuntivas
Una proposicin conjuntiva es verdadera s y slo s ambos componentes son
verdaderos.
El nexo y puede ser reemplazado por aunque, pero, adems, etc..
Ej.:
Paula es maestra y Marina es estudiante.
Paula es maestra y directora.
Simbolizacin:
p . q
- Disyuntivas incluyentes y excluyentes
Una proposicin disyuntiva inclusiva es falsa s y slo s ambos componentes son
falsos.
Una proposicin disyuntiva exclusiva es falsa s y slo s ambos componentes
tienen el mismo valor de verdad.
Ej.:
Me ir de vacaciones o comenzar a escribir un nuevo libro.
Me quedar en Buenos Aires, o me ir de vacaciones a Crdoba.
Simbolizacin:

Lic. Ana Julia Nayar

p v q

p w q

- Condicionales
Una proposicin condicional es falsa s y slo s el antecedente es verdadero y el
consecuente es falso.
Los nexos pueden ser: ... es condicin suficiente para..., ...cuando...., ...., etc..
Ej.:
Si naci en Buenos Aires, entonces es porteo.
Simbolizacin:
p >

- Bicondicionales:
Una proposicin bicondicional es verdadera s y slo s ambos componentes tienen
el mismo valor de verdad.
Las expresiones ms usadas son ... es equivalente a ..., ... es condicin necesaria
y suficiente para....
Ej.:
Un nmero es para s y slo s es divisible por dos.
Simbolizacin:
p = q
- Negacin:
La negacin de una proposicin verdadera es falsa y viceversa.
Algunas expresiones pueden ser: no, no es cierto que, no se da el caso que,
etc..
Ej.:
No es verdad que todos los polticos son corruptos.

Lic. Ana Julia Nayar

Simbolizacin:
-p

Simbolizacin y confeccin de una tabla de verdad

- A cada proposicin atmica se le debe asignar una variable proposicional


(Abstraccin).
- Si se repite una proposicin, debe repetirse la variable.
- Se deben usar parntesis, corchetes y llaves para indicar el alcance de las
conectivas.
- Se debe asignar los valores de verdad a cada variable agotando todas las
combinaciones posibles.
- Se resuelve la tabla de verdad que afecta a cada conectiva, comenzando, en
primer lugar por las de menor alcance.

Resultado de las Tablas de Verdad.

TAUTOLOGA: son formas proposicionales que corresponden a proposiciones


lgicamente verdaderas.
El resultado final es verdadero en todos los casos.
CONTRADICCIN: son formas
proposiciones lgicamente falsas.

proposicionales

que

corresponden

El resultado final es falso en todos los casos.


CONTINGENCIA: son formas proposicionales que corresponden a proposiciones
lgicamente indeterminadas.

Lic. Ana Julia Nayar

El resultado final es verdadero en algunos casos y falso en otros.

Ejemplo:

Si es metal, se dilata con el calor. El oro es un metal. Entonces, se dilata con el calor.

[( p

>

q )

p ]

>

Resultado Final: tautologa.


III) Los Razonamientos:
La lgica proposicional permite determinar cundo una proposicin es
lgicamente verdadera, lgicamente falsa o ni lo uno ni lo otro, como ya lo hemos
visto al aplicar Tablas de Verdad.
Pero para ello hay varios procedimientos:
a) Condicional Asociado
b) Mtodo demostrativo
c) Prueba de invalidez

Mtodo del Condicional Asociado:


Permite verificar mecnicamente la validez o invalidez de un razonamiento.

Lic. Ana Julia Nayar

1) Dado un razonamiento se abstrae su forma lgica.


2) De la forma de razonamiento se pasa a la forma de una proposicin condicional,
de manera tal que el antecedente resulte una conjuncin de las premisas del
razonamiento, conectado lgicamente con el consecuente a travs de un
condicional.
3) Se realiza la Tabla de Verdad.
4) Si el resultado obtenido es una tautologa, el razonamiento es vlido, si no, no lo
es.

Ejemplo:
Si estudio lgica, tengo posibilidades de aprobar filosofa; y si apruebo filosofa, puedo
recibirme de bachiller. Apruebo filosofa. Por lo tanto, puedo recibirme de bachiller.

Forma de razonamiento:

Forma de Proposicin:

p > q

q > r

q
_______

{[(p > q) . (q >

r) ]

q } > r

Lic. Ana Julia Nayar