Transformación del Lenguaje Natural al Lenguaje Lógico República Bolivariana de Venezuela Ministerio del Poder Popular para la Educación Universitaria Universidad Politécnica Francisco de Miranda Programa Nacional de Formación en Informática (PNF) Materia: Lógica Transformación del Lenguaje Natural al Lenguaje Lógico INTEGRANTES VALENTE CESAR C.I 19.292.808 ABRAHAM YURIANI C.I 22.764.375 MORA KARELLYNS C.I 16342075

¿Que es el lenguaje? Se considera como un conjunto de oraciones, que usualmente es infinito y se forma con combinaciones de palabra. Es necesario que esas combinaciones sean correctas y tengan sentido.

ningún tipo de conocimiento técnico. Lenguaje Natural Cualquier lenguaje que se aprende por sentido común, a través de la convivencia, sin ningún tipo de conocimiento técnico.

Lenguaje Formal en la lógica Consiste en abreviar o simbolizar las oraciones o juicios, que en la lógica matemática se llaman proposiciones, se reducen en el lenguaje formal a una sola letra.

Funciones del lenguaje El lenguaje posee principalmente tres funciones: Comunicación o información El lenguaje se usa con la intención de enunciar algo determinado Uso Expresivo El lenguaje se usa para exponer sentimientos o emociones Uso directivo El lenguaje se usa con la finalidad de originar, modificar o impedir una conducta en el receptor.

Categorías del lenguaje formal El lenguaje formal debe constar de tres tipos de categorías: 1 Una tabla de símbolos formales 2 Una relación de reglas de formación de formulas 3 Reglas de transformación de formulas

Como formalizar el lenguaje natural al lenguaje de la lógica supone una labor de traducción del lenguaje natural al lenguaje de la lógica preposicional. 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.

Reglas del lenguaje formal Se necesita una variable preposicional Si A (primera premisa) esta bien formulado, el ¬A estará bien formulado Si A y B (primera y segunda premisa) están bien formulados también: A ^ B, A ∨ B, A → B, A ↔ B Solo pueden estar formulados de manera correcta la primera, segunda y tercera premisa

Conectivos en el lenguaje lógico y en el lenguaje natural Estas son palabras que en el lenguaje natural conectan enunciados y en el lenguaje lógico cumplen una función lógica para realizar sus diferentes operaciones, entre estos conectivos se encuentran: La negación (no es cierto que) La conjunción (y) La disyunción (o) El condicional (si ... entonces) ¥x; p(x): para todo o todas x; p(x) Эx; p(x);para algunos existen x; P(x)

Símbolos lógicos utilizados para representar los conectivos para algunos existen Эx; p(x); Negación: ¬ Conjunción: ∧ Disyunción: ∨ Condicional: → Bicondicional: ↔ todo o todas ¥x: p(x)

Ejemplos de transformación de lenguaje natural al lenguaje lógico Algunos hombres son filósofos. Sócrates es hombre. Luego Sócrates es filósofo q p c q c p Si la temperatura de la superficie terrestre aumenta, entonces la precipitación pluvial aumenta y el nivel de los mares se eleva. La temperatura de la superficie terrestre está aumentando. Por lo tanto el nivel de los mares se eleva q p ∧ c q c

Ejemplos de transformación de lenguaje natural al lenguaje lógico A partir de suponer que Mar del Plata está a orillas del Mediterráneo, entonces Mar del Plata está en el hemisferio Norte. Pero Mar del Plata está en el hemisferio Sur. Por lo tanto no es cierto que Mar del Plata esté a orillas del Mediterráneo. d p r ¬ d Bolivia le vende gas a Brasil o Paraguay le vende electricidad a Brasil. Brasil compra recursos y soluciona su problema energético, por lo tanto Brasil soluciona su problema energético. d ∨ p r ∧ o o