Facebook Twitter Google +1     Admin

Se muestran los artículos pertenecientes a Diciembre de 2010.



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 el uso 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 del lenguaje 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 la argumentació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 varias oraciones 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 amplio repertorio 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 como imprudente 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 un punto 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 palabra fuerte.

La expresión  a menos que introduce un antecedente negado.

 

LA CONJUNCIÓN   

 Estos son algunos 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. 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 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ólo con 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.

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 móvil.

 

LA DISYUNCIÓN V 

 

He aquí algunos ejemplos de la disyunción:

 

p o q

O bien p o q

p a menos que q

p a no ser que q

O p o q

 

Uno de los problemas de la disyunción es que en el lenguaje ordinario encontramos dos tipos de disyunción, la inclusiva y la exclusiva. La más común en lógica es la inclusiva, en la que en el caso de que las dos proposiciones tomen el valor de verdadero la disyunción en su conjunto también lo hace, ejemplo – se necesita para el trabajo a un fontanero o a un electricista-. El problema a parece con la disyunción exclusiva, en la que en el caso antes comentado la disyunción es falsa -   Alicia es de Murcia o de Cartagena-. Normalmente este caso es obviado en la formalización, aunque se debería formalizar como sigue:

 

( pvq)  ¬ (p q)

 El BICONDICIONAL   <--->

  He aquí algunas variantes del bicondicional:

 p si y sólo si q

p es equivalente a q

p es condición necesaria y suficiente de q

p es necesaria y suficiente para q

p sólo en caso de que q

p cuando y sólo cuando q

 

 PARÉNTESIS Y ALCANCE DE LAS CONECTIVAS

Terminar recordando la importancia de los paréntesis en una buena traducción al lenguaje formal. Los paréntesis 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 disyunción. La única manera de expresar esto con corrección es hacer un uso adecuado de los paréntesis. En relación con esto hemos de llevar especial cuidado con algunas expresiones negadoras como no es cierto, es falso que…etc., pues pueden afectar a la conectiva y no sólo a un miembro de la misma. Así en – No es cierto que Juan beba y ande derecho-

No se representa como  ¬p¬q, sino como ¬(pq)

 

 

08/12/2010 20:44 pepazambudio1 Enlace permanente. sin tema

EJERCICIOS DE FORMALIZACIÓN SENCILLOS

20101208204915-deco-groucho-marx-cuerpo.jpg

EJERCICIOS DE FORMALIZACIÓN

 

  1. O está lloviendo y nevando, o está soplando el viento.
  2. Llueve y o bien nieva o sopla el viento.
  3. Ni llueve ni sopla el viento.
  4. O bien no está lloviendo o está nevando.
  5. No es el caso que llueva o nieve.
  6. Luis irá aunque llueva.
  7. O bien Pepe y Juan son ambos culpables, o Juan es inocente.
  8. Lloraré a menos que me apruebes.
  9. O lloro o me apruebas.
  10. O Enrique lleva razón, o Pepe y Juan son ambos culpables o ambos inocentes; y Juan es culpable.
  11. Si Pablo se queda, entonces Iván se va.
  12. Supuesto que Pablo se quede, Iván se irá.
  13. Iván se irá en caso de que Pablo se quede.
  14. Miles de vidas podrían salvarse si la gente si la gente utilizará el cinturón de seguridad.
  15. Democracia significa un modo de vida en el que la libertad y la concordia están presentes.
  16. Podrás ser un buen estudiante si trabajas a diario y reconoces tus errores.
  17. El buen estudiante se guía por las orientaciones de sus profesores.
  18. Si hablas no estas atento a la explicación y si no estas atento a la explicación no comprendes el problema.
  19. Si no estudias y no trabajas tu profesor te suspenderá, pero si quieres aprobar sin estudiar y trabajar siempre puedes reclamar al inspector.
  20. O ganas el torneo o pierdes, si ganas el torneo es porque has entrenado suficiente y si pierdes tu entrenamiento ha sido insuficiente. Por tanto tienes que entrenar más.
  21. Si los verdaderos amigos tienen todo en común, entonces tú no puedes ser más rico que tu compañero si dices que sois verdaderos amigos. (Platón)
  22. Que Juan se vaya es condición suficiente para que María se suicide.
  23. Antonio entrará a la universidad sólo si el enchufe con Enrique funciona.
  24. Proporciónenos los medios y nosotros resolveremos el asunto. (Churchill)
  25. Obtendrás la licenciatura a condición de que superes el último curso.
  26. La muerte es condición necesaria para entrar en estado de  beatitud.
  27. La visión de Dios ocurre a menos que el pecado se haya apoderado de tu vida.
  28. Una condición necesaria, aunque no suficiente, para que se solucione el problema de Kosovo es que Servia devuelva la independencia a dicha república.
  29. Casarse es condición necesaria y suficiente para el sufrimiento.
  30. Luis irá de copas y se divertirá cuando y solamente cuando su bellísima mujer, Flor de Loto, le deje.
  31. Bien pensado, no hay por qué ser bienpensante.
  32. Como sigas aparentando esa frialdad, no volveré a besarte.
  33. Se puede decir que Marx era un hegeliano con tal que se aclare en qué sentido y hasta qué punto.
  34. En no habiendo vino no hay amor.
  35. Tú dedicate al amor libre y verás como te sorprende la muerte en pecado mortal.
  36. En caso de que sople el viento, podremos navegar a vela.
  37. Cuando Pedro cumplió los treinta años, su padre le encargo la tutela de Violeta.
  38. Cuando en el juego no intervienen el amor y el odio, la mujer juega de forma mediocre. (Nietzsche)
  39. A pesar de su vejez, se mantiene en buena forma.
  40. Para solucionar el problema de la vista cansada basta con mirar una cama durante diez minutos o una silla durante veinte. (El Perich)
  41. Si bien es cierto que el camello es el animal que más tiempo puede permanecer sin beber, es preciso reconocer que cuando bebe se pone insoportable. (El Perich)
  42. No reírse de nada es de tontos, reírse de todo es de estúpidos. (Groucho Marx)
  43. Cuando un médico se equivoca, lo mejor es echarle tierra al asunto (Woody Allen)
  44.  Sólo si estudias aprobarás.
  45. - Si perseveras en tus decisiones y no cedes al desaliento frente a los obstáculos, entonces comprobarás cómo el éxito te sonríe.
  46. Si el hombre es moral, no está determinado unívocamente por el ambiente y cabe exigirle cuenta de sus elecciones.
  47. Si se ganan las elecciones y nuestros representantes acceden al poder, confiaremos en ellos si y sólo si cumplen sus promesas y el poder no les corrompe.
  48. Aristóteles nació en Estagira y fue tutor de Alejandro Magno. Pero si nació en Estagira fue de nacionalidad macedónica. Por tanto Aristóteles fue de nacionalidad macedónica.
  49. - Si Dios existe, espero que tenga una buena excusa. (Woody Allen)
  50. No es el caso que, si la luna está hecha de queso verde, entonces los vehículos espaciales no pueden alunizar en ella.
08/12/2010 20:49 pepazambudio1 Enlace permanente. sin tema


Blog creado con Blogia. Esta web utiliza cookies para adaptarse a tus preferencias y analítica web.
Blogia apoya a la Fundación Josep Carreras.

Contrato Coloriuris