2.1.

- Formalizacin de enunciados en lenguaje ordinario

Una de las tareas ms importantes para poder aplicar la lgica a los diferentes campos del saber
humano es la formalizacin, tambin conocida como codificacin. De manera muy simple, podemos
decir que la formalizacin es la traduccin de proposiciones dadas en lenguaje ordinario a frmulas
lgicas bien formadas. En este quehacer nos enfrentaremos con lo que muchos autores conocen como
la tirana del lenguaje coloquial, que tiene que ver con las ambigedades y la dependencia que
tienen los significados de los contextos donde se presentan, ya que ambas son caractersticas propias
del lenguaje natural.
Para Redmon (1) una regla emprica para formalizar desde el lenguaje ordinario al simbolismo lgico
es: traduzca el sentido, no las palabras. La finalidad es que la oracin-proposicin del lenguaje
ordinario y la frmula lgica expresen el mismo sentido, es decir, que la frmula lgica represente de la
manera ms fiel posible lo que la oracin quiere decir. Es importante apuntar aqu que estamos dando
por hecho que todas las oraciones que queremos formalizar son proposiciones, de ah la denominacin
oracin-proposicin.
2.1.1.- Formalizacin de proposiciones simples
Sabemos que toda oracin est compuesta por sujeto y predicado. Por ejemplo, en la oracin Napolen
es emperador de Francia, Napolen es el sujeto y es emperador de Francia es el predicado. En la
oracin Andrs es futbolista, el sujeto es Andrs y el predicado es es futbolista. En la oracin Juan se
enferm, el sujeto es Juan y se enferm es el predicado. Todas estas oraciones afirman un slo hecho,
es decir, son proposiciones simples. Este tipo de proposiciones simples pueden formalizarse con la
codificacin Ps, donde P es el predicado y s el sujeto.
Es decir, Napolen es emperador de Francia se codifica como En (que se lee emperador Napolen),
Andrs es futbolista se formaliza como Fa (que se lee futbolista Andrs), y Juan se enferm, se
formaliza como Ej (que se lee enferm Juan).
2.1.2.- Formalizacin de proposiciones compuestas
Aquellas oraciones donde aparece al menos un conectivo lgico implica que se formalizarn como
proposiciones compuestas. En este caso, es comn representar cada proposicin atmica por una letra
minscula, y relacionarlas entre si por el conectivo adecuado.
Recuerda que los conectivos lgicos son: la negacin (no esto, es falso esto), la conjuncin (esto y
aquello, esto pero aquello, esto que aquello), la disyuncin (esto o lo otro), la implicacin (si esto
entonces aquello, aquello si esto, aquello slo si esto) y la doble implicacin lgica (esto si y slo si
aquello).
Por ejemplo: Napolen no es emperador de Francia. Sea p = Napolen es emperador de Francia. Por
tanto Napolen no es emperador de Francia se codifica como ~p.
Otro ejemplo: Andrs es futbolista y Juan se enferm. En este caso, sea p = Andrs es futbolista y q =
Juan se enferm. La proposicin compuesta es: p q.
Un ejemplo ms: Pars est en Francia si el cielo es azul. Sea p = Pars est en Francia, y q = el cielo
es azul. Por tanto, esta proposicin se codifica como: q p.

Nota en este caso, que esta oracin puede re-expresarse como Si el cielo es azul, entonces Pars est en
Francia, que es el sentido que codificamos. Es decir, la parte de la oracin que sigue al si, debe ir al
lado izquierdo del smbolo de la implicacin.
Otro ejemplo: Luis muri ayer, pero no estaba enfermo. Sea p = Luis muri ayer y q = Luis estaba
enfermo. Esta proposicin compuesta se formaliza como p ~q. Nota que la palabra pero se
interpreta como y.
La oracin Jos estudia periodismo o Luis estudia ingeniera se codifica como p q, siendo p = Jos
estudia periodismo y q = Luis estudia ingeniera.
La oracin Si llueve y hay sol se ve el arcoiris, se codifica como p q r, donde p = Llueve, q = hay
sol y r = se ve el arcoiris.
2.1.3.- Formalizacin de proposiciones universales y particulares
Todas las oraciones-proposiciones anteriores tienen sujeto monario, es decir, se refieren a un slo
sujeto. Cuando el sujeto de la oracin no es singular, es decir, se trata de un sujeto polinario, hay dos
posibilidades: el sujeto alude a todos los elementos de un conjunto o alude slo a una parte de ellos.
Cuando el sujeto polinario se refiere a todos los elementos de un conjunto, se dice que se trata de
proposiciones de tipo universal. Cuando el sujeto no agota todos los elementos del conjunto, se trata de
proposiciones particulares. Estas proposiciones requieren de unos operadores llamados
cuantificadores: el cuantificador universal (, que se lee para todo) para las proposiciones universales,
y el cuantificador existencial (, que se lee existe al menos uno) para las proposiciones particulares. En
ambos casos, el sujeto, que designa a los miembros del conjunto, ser identificado por un variable, por
ejemplo, x.
Por ejemplo, la proposicin Todos los hombres somos mortales se codifica:
x: Hx Mx
Que se lee: Para toda x, si x es hombre, entonces x es mortal. Es decir, Hx se lee hombre x y Mx se lee
mortal x.
La proposicin Algunos hombres son ingratos se codifica:
x: Hx Ix
Que se lee: Existe al menos una x, tal que si x es hombre, x es ingrato. Es decir, Ix se lee ingrato x.
Observa el uso de la implicacin en el caso de proposiciones universales y de la conjuncin en el caso
de las proposiciones particulares.
Por ejemplo, la frase Todo lo que brilla es oro, se codificara as:
x: Bx Ox

que se lee: Para toda x, si x brilla, entonces x es oro.

La frase No todo lo que brilla es oro, se codifica as:
~x: Bx Ox
2.1.4.- Lenguajes P y Ps
Hasta ahora hemos visto dos formas de codificar proposiciones. Para codificar proposiciones simples,
usamos la forma Ps (predicado-sujeto), conocida como lenguaje Ps. Para proposiciones compuestas
propusimos representar cada proposicin simple como una literal, una letra minscula. Esto de conoce
como lenguaje P. En general, el lenguaje P se recomienda para formalizar proposiciones compuestas y
el lenguaje Ps se recomienda para codificar proposiciones cuantificadas.

Oracin-Proposicin

Codificacin

Mario juega ftbol.

Jm
donde J = juega ftbol y m= Mario (en lenguaje
Ps).

Si no llueve, voy al cine.

~l c
donde l= Llover y c= ir al cine (en lenguaje P).

Estoy contento si no voy a la escuela pero no ~v ~e c

estoy enfermo.
donde v = ir a la esuela, e = estar enfermo y c =
estar contento (en lenguaje P).
Si gano las elecciones, reducir los impuestos.

gr
donde g = ganar las elecciones y r = reducir
impuestos.

Si est nublado, pero no llueve, entonces el sol n ~l b

est brillando.
donde n = est nublado, l = llueve y b = el sol
brilla.
Luis es inteligente o estudia todos los das.

ie
donde i = Luis es inteligente y e = Luis estudia
todos los das.

Don Quijote es feliz si y slo si, Dulcinea esta q d

feliz.
donde q = Don Quijote est feliz y d = Dulcinea
est feliz.
Nadie es profeta en su tierra.

~x: Px Tx
donde Px = x es profeta y Tx = x est en su tierra
(en lenguaje Ps)

Algunos cientficos creen en la creacin.

x: Cx Bx
donde Cx = x es cientfico y Bx = x cree en la
creacin.

Las palomas son blancas.

x: Px Bx

donde Px = x es paloma y Bx = x es blanca

Algunos polticos son honestos

x: Px Hx
donde Px = x es poltico y Hx = x es honesto

Todos los nacidos en Mxico son mexicanos

x: Nx Mx
donde Nx = x naci en Mxico y Mx = x es
mexicano.

Algunos mexicanos son rubios.

x: Mx Rx
donde Mx = x es mexicano y Rx = x es rubio.

Algunos futbolistas no juegan limpio

x: Fx ~Jx
donde Fx = x es futbolista y Jx = x juega limpio.

2.1.5.- Interpretacin de frmulas lgicas

El complemento de la formalizacin es la interpretacin. Por interpretacin entendemos traducir una
frmula lgica a lenguaje natural. Esto es importante para poder interpretar los resultados que arroja la
manipulacin de las frmulas que representan una situacin dada. Es decir, para aplicar la lgica a
algn problema o escenario dado, debemos primero formalizar o codificar el problema. Las frmulas
lgicas obtenidas se manipularn por medio de las reglas de la Lgica Proposicional, que estudiaremos
ms adelante, y los resultados de esa manipulacin debern ser interpretados para regresar al lenguaje
del problema o circunstancia en estudio.
Vamos a ilustrar la interpretacin por medio de algunos ejemplos: Sean p, q y r las siguientes
proposiciones:
p = llueve
q = el sol brilla
r = el cielo est nublado
Y sean las siguientes proposiciones:
a) (p q) r
b) ~p (q r)
c) ~( q p) r
d) ~(p (q r))
Algunas posibles interpretaciones de las proposiciones anteriores son:
a) Si llueve y el sol brilla, entonces el cielo est nublado.
a) El cielo esta nublado si llueve y el sol brilla.
b) El sol brilla o el cielo est nublado, si y slo si no llueve.
b) Es falso que llueve, si y slo si est nublado o el sol brilla.
b) No llueve si y slo si el sol brilla o el cielo est nublado.
c) El cielo est nublado, pero es falso que el sol brilla o llueve.
c) Es falso que el sol brilla o llueve, pero el cielo est nublado.

c) El falso que el sol brilla o llueve y el cielo est nublado.

d) Es falso que, llueve si y slo si est nublado o el sol brilla.
d) Llueve si y slo si est nublado o el sol brilla, es falso.
d) No es cierto que, llueve si y slo si est nublado o el sol brilla.
Resumen
En esta seccin vimos la formalizacin y la interpretacin dentro de la Lgica Proposicional. A
continuacin te presento una tabla que ilustra los diferentes conectivos lgicos y algunas oraciones que
los interpretan.
Conectiva

Representacin

Ejemplos de oraciones que la interpretan

Negacin

~p

Conjuncin

pq

P y q,
p pero q,
p sin embargo q,
p no obstante q,
p a pesar de q.

Disyuncin

pq

p q ambos,
al menos p q,
como mnimo p q.

Implicacin

pq

Si p entonces q,
p slo si q,
q si p,
q cuando p,
q es necesario para p,
para p es necesario q,
p es suficiente para q,
para q es suficiente p,
no p a menos que q.

Bicondicional

pq

P es necesario y suficiente para q,

q si y slo si q.

No p,
es falso p,
no es cierto p.

Espero que con estos ejemplos ests listo para la primera tarea de este segundo mdulo del curso:
Tarea 3.- Formalizacin e Interpretacin de algunas proposiciones. Suerte y a trabajar realizando
estos ejercicios!