FORMALIZACIN DEL LENGUAJE NATURAL AL LENGUJE DEL LA LGICA

PROPOSICIONAL
Formalizar supone una labor de traduccin del lenguaje natural al lenguaje de
la lgica proposicional. Esta tarea tiene dos partes, la de crear un esquema de
traduccin y la de traducir las distintas conjunciones del lenguaje natural al
lenguaje lgico.
A continuacin examinaremos cada una de ellas, finalizando con el uso de los
parntesis en la traduccin.
La primera tarea supone aparear oraciones del lenguaje natural con oraciones
del lenguaje formal y hacerlo de modo uniforme a lo largo de la traduccin.
Esto no es otra cosa que asignar a cada oracin del lenguaje natural una letra
proposicional (p,q,r,s).
La tarea principal consiste en delimitar bien las oraciones que encontramos en
el fragmento del lenguaje natural que estamos definiendo para despus poder
identificar cada una de sus apariciones a lo largo del fragmento para poder as
cambiar uniformemente todas sus apariciones. La dificultad de esto estriba en
que algunas veces es difcil identificar las oraciones que participan
activamente en el argumento, pues stas pueden ir acompaadas de oraciones
que no tienen ningn papel en la argumentacin. En casos como ste es
importante captar de forma previa la estructura del argumento y rescribirlo en
el lenguaje natural despojado de todos los elementos accesorios para
posteriormente emprender la traduccin al lenguaje de la lgica.
Otro problema que puede surgir en la identificacin de los enunciados del
lenguaje natural es que un mismo enunciado pueda aparecer expresado por
varias oraciones distintas, o bien se haga referencia al mismo mediante algn
tipo de expresin del tipo si esto sucede., dado lo anterioretc. En este caso
se trata slo de llevar a cabo con cierto cuidado la labor que tenemos
encomendada.
La segunda tarea es la de traducir las diferentes conjunciones o nexos del
lenguaje natural al lenguaje formal. En este caso s que contamos con un
amplio repertorio de convenciones que facilitan esta tarea. He aqu una lista
de esos ejemplos por conectivas.
LA NEGACIN
Lo normal en este caso es que nos encontremos casi siempre con la partcula
no, o no es el caso de que, no es cierto que, no es verdad que, o es falso que.
Hemos de llevar cuidado con expresiones que tienen dentro de s mismas una
negacin como imprudente o inquieto (en este caso dar lo mismo que
hagamos la negacin si no aparece el trmino positivo prudente- en el
ejercicio, aunque lo ms correcto desde un punto de vista formal sera hacerla)
o que sean el contrario de alguna palabra que aparezca en el argumento como
el caso de dbil cuando anteriormente apareci la palabra fuerte.
La expresin a menos que introduce un antecedente negado.

LA CONJUNCIN
Estos son algunos ejemplos de expresiones que se traducen por la conjuncin
en el lenguaje formal:
pyq
p, sin embargo q
Tanto p como q
p pero q
p aunque q
p y tambin q
p, q
p a pesar de q
La expresin ni p ni q es una conjuncin en la que cada uno de sus miembros
est negado
(p q)
EL CONDICIONAL --->
El condicional quiz sea la conectiva que se puede presentar de ms formas.
He aqu una lista de ejemplos en la que es muy importante el orden de las
letras proposicionales que se utilizan. En todos los caso se traduce con la
expresin p ---> q
Si p, q
Si p entonces q
p es condicin suficiente para q
p es suficiente para q
q con la condicin de que p
q es condicin necesaria para p
q es necesaria para p
q si p

Siempre que p, q
Dado que p, q
En caso de que p, q
p slo con la condicin de que q
p slo si q
La expresin a no ser que y a menos que se puede traducir como una
disyuncin o como un condicional. En este ltimo caso toma la forma de q
---> p.
Recordar que las condiciones suficientes introducen antecedentes, las
condiciones necesarias consecuentes.
En caso de que introduce al consecuente.
La expresin slo si introduce siempre el consecuente.
Decir por ltimo que en algunos casos podemos encontrar condicionales sin
signo externo de serlo, como en el caso: La cantidad de rozamiento disminuye
al aumentar la velocidad del mvil.
LA DISYUNCIN V
He aqu algunos ejemplos de la disyuncin:
poq
O bien p o q
p a menos que q
p a no ser que q
Opoq
Uno de los problemas de la disyuncin es que en el lenguaje ordinario
encontramos dos tipos de disyuncin, la inclusiva y la exclusiva. La ms comn
en lgica es la inclusiva, en la que en el caso de que las dos proposiciones
tomen el valor de verdadero la disyuncin en su conjunto tambin lo hace,
ejemplo se necesita para el trabajo a un fontanero o a un electricista-. El
problema a parece con la disyuncin exclusiva, en la que en el caso antes
comentado la disyuncin es falsa - Alicia es de Murcia o de Cartagena-.
Normalmente este caso es obviado en la formalizacin, aunque se debera
formalizar como sigue:
( pvq) (p q)
El BICONDICIONAL <--->
He aqu algunas variantes del bicondicional:

p si y slo si q
p es equivalente a q
p es condicin necesaria y suficiente de q
p es necesaria y suficiente para q
p slo en caso de que q
p cuando y slo cuando q
PARNTESIS Y ALCANCE DE LAS CONECTIVAS
Terminar recordando la importancia de los parntesis en una buena traduccin
al lenguaje formal. Los parntesis nos van a mostrar el alcance de una
conectiva. Nada nos impide encontrarnos en un ejercicio con un bicondicional
cuyo primer miembro sea a su vez un condicional cuyo antecedente sea,
digamos, una disyuncin. La nica manera de expresar esto con correccin es
hacer un uso adecuado de los parntesis. En relacin con esto hemos de llevar
especial cuidado con algunas expresiones negadoras como no es cierto, es
falso queetc., pues pueden afectar a la conectiva y no slo a un miembro de
la misma. As en No es cierto que Juan beba y ande derechoNo se representa como pq, sino como (pq)