República Bolivariana de Venezuela Ministerio del Poder Popular para la Educación UniversitariaUniversidad 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?¿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.

Cualquier lenguaje que se aprende por sentido común, a través de la

convivencia, sinningún tipo de conocimiento técnico.

Lenguaje Natural

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.

Lenguaje Formal en la lógica

Funciones del lenguajeFunciones del lenguajeEl lenguaje posee principalmente tres

funciones:

Categorías del lenguaje formal

El lenguaje formal debe constar de tres tipos de categorías:

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 formalReglas del lenguaje formalSe necesita una variable preposicionalSe necesita una variable preposicional

Si A (primera premisa) Si A (primera premisa) esta bien formulado, el ¬A estará bien formulado

Si A y B (primera y segunda premisa) están bien formulados Si A y B (primera y segunda premisa) están bien formulados también: también: A ^ B, A ∨ B, A → B, A ↔ B

Solo pueden estar formulados de manera correcta la primera, Solo pueden estar formulados de manera correcta la primera, segunda y tercera premisasegunda y tercera premisa

Conectivos en el lenguaje lógico y Conectivos en el lenguaje lógico y en el lenguaje naturalen 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 Símbolos lógicos utilizados para representar los conectivosrepresentar los conectivos

todo o todas ¥x:

p(x)

para algunos existen Эx;

p(x);

Ejemplos de transformación de Ejemplos de transformación de lenguaje natural al lenguaje lógicolenguaje 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 Ejemplos de transformación de lenguaje natural al lenguaje lógicolenguaje 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 pr¬ 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 ∨ pr ∧ o o