FORMACION DEL LENGUAJE LOGICO AL ORDINARIO

FORMALIZACIÓN DEL LENGUAJE NATURAL AL LENGUJE DEL LA LÓGICA PROPOSICIONAL
Formalizar supone una labor de traducción del lenguaje natural al lenguaje de la lógica proposicional. Esta tarea tiene dos partes, la de crear un esquema de traducción y la de traducir las distintas conjunciones del lenguaje natural al lenguaje lógico.
A continuación examinaremos cada una de ellas, finalizando con eluso de los paréntesis en la traducción.
La primera tarea supone aparear oraciones del lenguaje natural con oraciones del lenguaje formal y hacerlo de modo uniforme a lo largo de la traducción. Esto no es otra cosa que asignar a cada oración del lenguaje natural una letra proposicional (p,q,r,s…).
La tarea principal consiste en delimitar bien las oraciones que encontramos en el fragmento dellenguaje natural que estamos definiendo para después 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 difícil identificar las oraciones que participan activamente en el argumento, pues éstas pueden ir acompañadas de oraciones que no tienen ningún papel en laargumentación. 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 traducción al lenguaje de la lógica.
Otro problema que puede surgir en la identificación de los enunciados del lenguaje natural es que un mismo enunciado pueda aparecer expresado por variasoraciones distintas, o bien se haga referencia al mismo mediante algún tipo de  expresión del tipo si esto sucede…., dado lo anterior…etc. En este caso se trata sólo 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 ampliorepertorio de convenciones que facilitan esta tarea. He aquí  una lista de esos ejemplos por conectivas.
 LA NEGACIÓN  ¬
 Lo normal en este caso es que nos encontremos casi siempre con la partícula 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 negación comoimprudente o inquieto (en este caso darálo mismo que hagamos la negación si no aparece el término positivo – prudente- en el ejercicio, aunque lo más correcto desde unpunto de vista formal sería hacerla) o que sean el contrario de alguna palabra que aparezca en el argumento como el caso de débil cuando anteriormente apareció la palabrafuerte.
La expresión  a menos que introduce un antecedente negado.
 
LA CONJUNCIÓN  ∧ 
 Estos sonalgunos ejemplos de expresiones que se traducen por la conjunción en el lenguaje formal:
 p y q
p, sin embargo q
Tanto p como q
p pero q
p aunque q
p y también q
p, q
p a pesar de q 
 
La expresión ni p ni q es una conjunción 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 más formas. Heaquí 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 expresión p ---> q
Si p, q
Si p entonces q
p es condición suficiente para q
p es suficiente para q
q con la condición de que p
q es condición 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 sólocon la condición de que q
p sólo si q
La expresión a no ser que y a menos que se puede traducir como una disyunción 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 expresión sólo si introduce siempre el consecuente....