Repblica Bolivariana de Venezuela Ministerio del

Poder Popular para la Educacin Universitaria

Universidad Politcnica Francisco de Miranda
Programa Nacional de Formacin en Informtica
(PNF)
Materia: Lgica

Transformacin del
Lenguaje Natural al
Lenguaje Lgico

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.

Lenguaje Natural

Cualquier lenguaje que se aprende por

sentido comn, a travs de la
convivencia, sin
ningn tipo de conocimiento tcnico.

Lenguaje Formal en
la lgica
Consiste en abreviar
o simbolizar las
oraciones o juicios,
que en la lgica
matemtica se
llaman
proposiciones, se
reducen en el
lenguaje formal a
una sola letra.

Funciones del lenguaje

El lenguaje posee principalmente tres
funciones:

Categoras del lenguaje

formal
El lenguaje formal debe constar de
tres tipos de categoras:

Como formalizar el
lenguaje natural al
lenguaje de la lgica

supone una labor de traduccin del lenguaje natural al

lenguaje de la lgica preposicional. 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.

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) estn bien formulados
tambin: 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 lgico y

en el lenguaje natural
Estas son palabras que
en el lenguaje natural
conectan enunciados y
en el lenguaje lgico
cumplen una funcin
lgica para realizar sus
diferentes operaciones,
entre estos conectivos se
encuentran:

La negacin (no es cierto que)

La conjuncin (y)
La disyuncin (o)
El condicional (si ... entonces)
x; p(x): para todo o todas x;

p(x)
x; p(x);para algunos existen x;

P(x)

Smbolos lgicos utilizados para

representar los conectivos

para
todo o algu
nos
todas
exist
x:
en
p(x)
x;
p(x);

Ejemplos de transformacin de
lenguaje natural al lenguaje lgico
Algunos hombres son
filsofos.
Scrates es hombre.
Luego Scrates es filsofo

q
c
c

Si la temperatura de la superficie
terrestre
aumenta,
entonces
la
precipitacin 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

p
q
p

q
q
c

pc

Ejemplos de transformacin de
lenguaje natural al lenguaje lgico
A partir de suponer que Mar del Plata
est a orillas del Mediterrneo,
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 Mediterrneo.
Bolivia le vende gas a Brasil o Paraguay
le vende electricidad a Brasil. Brasil
compra recursos y soluciona su
problema energtico, por lo tanto Brasil
soluciona su problema energtico.

d
r
d

dp
ro
o