4.

LGICA SIMBLICA
4.1. Formalizacin o simbolizacin del lenguaje

- La Lgica simblica tambin determina las inferencias vlidas

- Utiliza otros instrumentos, no slo el silogismo
- Los distintos tipos de silogismo complicaban el anlisis
- Intenta lograr un lenguaje artificial
- Ese lenguaje trata de evitar:
- expresiones vagas y ambiguas
- modismos y metforas que pueden generar equivocacin
- el lenguaje emotivo
- Adems, facilita la visualizacin de la estructura lgica
implcita
- Para eso, traduce las argumentaciones del lenguaje natural a
su estructura
- El primer paso es identificar las conectivas lgicas
fundamentales

-parntesis (), [], {}: sirven para indicar el alcance de las conectivas y evitar
ambigedades
- con los smbolos lgicos formaremos expresiones
- luego establecemos algunas reglas para su buena formacin (fbf o ebf)
- como en Castellano, no todas las combinaciones de letras tiene sentido
- es necesario reglas sintcticas para obtener las proposiciones.

Reglas de formacin:

1. Las proposiciones simples son el tipo de

proposicin ms bsico y se denotan con
letras proposicionales: p, q, r, s, ...
2. Si A es una proposicin, tambin lo es s
A.
3. Si A y B son proposiciones, tambin lo
son (A B), (A B), (A B), (A B).
4. Slo se pueden construir proposiciones
con alguno de los pasos anteriores.

Estrategias de formalizacin:
1. Identificar las conectivas y los enunciados
atmicos (variable proposicional)
1.1. Punto y coma = conjuncin; punto =
diferenciador de enunciados
2. Conclusin =
2.1. Las premisas van enumeradas
Ejemplos:
Homersapiens

pq

2) Si tu telfono no funciona, lo primero que debes

hacer es comprobar que el cable est bien conectado.
El telfono debe estar conectado a un enchufe blanco
con dos conexiones. Una de ellas es de color rojo y la
otra de color azul. Independientemente de los colores,
el telfono siempre se conecta a la que est a la
derecha.

p = Tu telfono funciona
q = El cable est bien conectado.
r = Est conectado a un enchufe blanco.
s = El enchufe tiene una conexin roja.
t = El enchufe tiene una conexin azul.
u = Est conectado a la conexin de la derecha.

1)
2)
3)
4)

p q
qr
r (s t)
qu

Enunciados atmicos lingsticamente diferentes

pero que expresen lo mismo (la misma
proposicin) han de ser formalizados mediante la
misma variable proposicional.
La estrella de la maana es uno de los
planetas de nuestro sistema solar.
La estrella de la tarde es uno de los
planetas que circulan alrededor de nuestro
sol.
Juan Garca compr un vehculo con
matrcula de Montevideo.
Un vehculo con matrcula de Montevideo
fue comprado por Juan Garca.

4. Identificar todas las negaciones

A veces aparecen intercaladas (ej. 7):

dobles negaciones que significan una negacin simple:

No quiero ni pensar en ello.
p

Enunciados en forma afirmativa pueden expresar la negacin

de otros. Ej.:
Si Juan se va a Bariloche es porque aprueba todos los
exmenes, pero si se queda en casa estudiando es porque los
reprueba.
p = Juan se va a Bariloche
q = Juan aprueba los exmenes
r = Juan se queda en casa
(p q) (r q)

5. Si hay una o ms argumentaciones en el texto, hay que indicarlas

premisas (con guin y nmero), y la conclusin ( ).

Ejemplos:
1) No es cierto que sea falso que llueva.
p
2) Est lloviendo o nevando o ninguna de las dos
cosas.

- p y q o ni p ni q
- (p q) V (p q)

 Si llueve es porque la presin atmosfrica es

baja y hay nubes. Sin embargo, si no hay
nubes y hay alta presin, no puede llover.

Llueve = p
Presin atmosfrica baja = q
Hay nubes = r
- 1) p (q r)
- 2) (q r)
p

Condicional: observaciones
su significado: una de las cuestiones ms
polmicas de los estudios de lgica
la tradicin de la Lgica simblica ha dado
preferencia al uso matemtico en detrimento
del lenguaje natural
condicional por prediccin:
Ej.: Si hay oxgeno, entonces hay fuego.
condicional por diagnstico:
Ej.: Si hay fuego, entonces hay oxgeno.
Ventajas:
se adecua mejor al lenguaje natural
se aplica a la relacin de causa-efecto
no es incompatible con el Modus tollens

 p (condicin suficiente) q (condicin necesaria)

Ejemplo:
Si Fainarate es madre entonces Fainarate es mujer.
Es suficiente que Fainarate sea madre para que sea
mujer.
Es necesario que Fainarate sea mujer para que sea
madre.
Slo si Fainarate es mujer entonces Fainarate puede
ser madre.
Fainarate es madre, slo si es mujer.
Fainarate es mujer, si es madre.
No es posible que Fainarate sea madre y no sea mujer.
Que Fainarate sea mujer es condicin necesaria para
que Fainarate sea madre.
Que Fainarate sea madre es condicin suficiente para
que Fainarate sea mujer.