h.

Si tuvieran que justificarse ciertos hechos por su enorme tradition entonces, si estos
hechos son inofensivos y respetan a todo ser viviente y al medio ambiente, no habrfa
ningun problema. Pero si los hechos son barbaros o no respetuosos con los seres
vivientes o el medio ambiente, entonces habrfa que dejar de justificarlos o no podrfamos
considerarnos dignos de nuestro tiempo.
p: justificar hechos por su tradition.
q: ser inofensivo.
r: ser respetuoso con los seres vivos.
s: ser respetuoso con el medio ambiente.
t: tener problemas.
-q : ser barbaro. (= no ser inofensivo)
u: serdigno de nuestro tiempo.
p ^ [ ( q A r A s) ^ - t ] A [ ( - q v - ( r v s ) ^ ( - p v - u ) ]

JUN

21

TRABAJO DE INVESTIGACION LOGICA PROPOSICIONAL

TRABAJO DE INVESTIGACION
LOGICA PROPOSICIONAL

INTEGRANTES GRUPO 7
Marcelo Espinoza
Ivan Leiva
Jorge Parra
Oscar Puentes
DOCENTE
Erwin Fischer
CURSO -SECCION
ACI710-181
FECHA
22 de junio de 2013

Contenido
Introduction
^Q ue es Logica Proposicional?
Conectivos logicos
Leyes y Lfmites de la Logica Proposicional
Sistema Axiomatico
Semantica
Formas Normales
Logica Proposicional en la Inteligencia Artificial
Ejemplos de Uso de Logica Proposicional
Conclusiones
Referencias
Anexos

Introduccion
La representation del conocimiento es un area de la inteligencia artificial cuyo objetivo
fundamental es representar el conocimiento de una manera que facilite sacar conclusiones
(inferencias) a partir de dicho conocimiento. Analiza como usar un sistema de sfmbolos
para representar un dominio de una frase, junto con funciones que permitan razonar sobre
las posibles acciones que se puedan realizar. Generalmente, se usa algun tipo de logica
para proveer una semantica formal de como las funciones de razonamiento se aplican a
los

sfmbolos

del

dominio

del

discurso,

ademas

de

proveer

operadores

como

cuantificadores, operadores modales, etc. Esto, junto a una teorfa de interpretation, da

significado a las frases en la logica.
Cuando disenamos un sistema de representation del conocimiento para interpretar frases
ypoder derivar inferencias de ellas, tenemos que hacer elecciones que permitan obtener
un resultado logico. La decision mas importante que hay que tom ar es la expresividad de
la representation del conocimiento. Cuanto mas expresiva es, decir algo es mas facil y
mas compacto. Sin embargo, cuanto mas expresivo es un lenguaje, mas diffcil es derivar
inferencias automaticamente de el.

&Que es Logica Proposicional?

Para entender que es la Logica proposicional, debemos entender que es una proposition.
Una proposition es una oration enunciativa, es decir, que afirma o niega algo y que por lo
tanto, puede ser verdadera o falsa. Esta proposition sera representada por las Variables
Proposicionales o Letras Enunciativas que corresponden a letras del alfabeto latino,
empezando por la letra p, luego q, r, s, etc.
Ahora bien, la logica proposicional es un sistema formal cuyos elementos mas simples
representan proposiciones, y cuyas constantes logicas, llamadas conectivas, representan
operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor
complejidad.En la Logica proposicional las proposiciones no se analizan, sino que se
toman como un bloque y son los elementos mfnimos sobre los cuales opera esta rama de
la Logica.
Una proposition es una sentencia simple, tambien conocida como Proposition Simple, que
tiene un valor asociado ya sea verdadero (V), o falso (F). Por ejemplo:

hoy es sabado

hace frfo

La logica proposicional, permite la asignacion de un valor verdadero o falso para la

sentencia completa, no tiene facilidad para analizar las palabras individuales que
componen la sentencia. Por este motivo, la representation de las sentencias del ejemplo,
como proposiciones, serfa:

hoy_es_sabado

hace_frfo

Las proposiciones pueden combinarse para expresar conceptos mas complejos, esto es
conocido como Proposition Compleja o Molecular, en la cual se unen proposiciones
simples formando una compleja. Por ejemplo:

hoy_es_sabado y hace_frfo.

La proposition anterior recibe el nombre de formula bien formada. Una formula bien
formada puede ser una proposition simple o compuesta que tiene sentido completo y cuyo
valor de veracidad puede ser determinado. La Logica Proposicional suministra un
mecanismo para asignar valores de veracidad a la proposition compuesta, basado en los
valores de veracidad de las proposiciones simples y en la naturaleza de los conectores

logicos involucrados. Un enunciado complejo sera verdadero o falso en funcion de la forma

en que esten dispuestos los enunciados simples que lo componen.
Lo que diferencia semanticamente las conectivas es el valor de verdad del enunciado
compuesto que se forma con ellas:

Luke es rubio y Leia es morena

Luke es rubio o Leia es morena

Si Luke es rubio, Leia es morena

Luke es rubio, si y solo si, Leia es morena

Luke no es rubio, ni Leia morena

Cada una de estas afirmaciones es verdadera en condiciones diferentes.

condiciones vienen dadas por las distintas conectivas logicas.

Dichas

Conectivos logicos
En la logica proposicional, los conectivos logicos son tratados como funciones de verdad.
Es decir, como funciones que toman conjuntos de valores de verdad y devuelven valores
de verdad.

Conectivo

Expresion en

Ejemplo

lenguaje natural

Simbolo

Negation

no

Luke no es rubio

Conjuncion

Luke es rubio y Leia es morena

Disyuncion

Luke es rubio o Leia es morena

Implication

si... entonces

Bi-condicional

si y solo si

SiLuke es rubio entonces Leia es

morena
Luke es rubio si y solo si Leia es
morena

Los conectivos logicos son funciones que permiten combinar valores de verdad y entregar
valores de verdad, esto se puede visualizar mediante una tabla que entregue los valores
de verdad que la funcion devuelve con todas las combinaciones posibles.

Negation
p
V
F

p
F
V

p
V
V
F
F

Conjuncion
Q
p^A q
V
V
F
F
V
F
F
F

Disyuncion
p
V
V
F
F

Condicional
p
V
V
F

q
V
F
V
F

p^v q
V
V
V
F

Bicondicional
q
V
F
V

p to q
V
F
V

P
V
V
F

q
V
F
V

p^ q
V
F
F

Para representar la tabla de verdad cuando se aplica conectores, se exponen algunos

ejemplos:

Sea p una formula cualquiera, - p es verdadero cuando p es falso, y falso cuando p es

verdadero.

Sean p y q formulas cualesquiera, (p

q) es verdadero cuando p y q son verdaderos, y

falso en los demas casos.

Sean p y q formulas cualesquiera, (p vq) es falso cuando p y q son falsos, y verdadero en

los demas casos.

Sean p y q formulas cualesquiera, (p ^ q) es falso cuando p es verdadero y q es falso, y

verdadero en los demas casos.

Sean p y q formulas cualesquiera, (p q) es falso cuando p y q tienen distinto valor de

verdad, y verdadero cuando tienen el mismo valor de verdad.
Mas que aprender de memoria estas tablas, lo importante es identificar el efecto que
provoca en los valores de verdad cuando se aplica una funcion.

Leyes y Li mites de la Logica

Proposicional
Entre las reglas de la logica proposicional clasica, algunas de las leyes mas notables son
las siguientes:

1. Ley de doble n egation: Establece que si un enunciado esta doblemente negado,

equivaldrfa al enunciado afirmado.
- - p= p

2. Leyes de idempotencia: Establece que si un enunciado se aplica un conector, de por si

mismo vuelve a obtenerse el mismo enunciado.
(p D v p) = p
(p D A p) = p
3. Leyes asociativas: Establece que no importa como se agrupen los enunciados cuando se
conectan en forma de conjuncion o disyuncion.
(p D v q) D v D r = p v D (q D v D r)
(p D A q) D A D r = p A D (q D A D r)
4. Leyes comunicativas: Esta ley, no es valida para la implication, pero si para conjuncion y
para la disyuncion. Una conjuncion es afirmar que se dan dos cosas a la vez, de modo que
el orden de sus elementos no cambia este hecho. Igualmente, una disyuncion es presentar
una election entre dos cosas, sin importar en que orden se presente esta eleccion.
(p D A q) M D (q D A D p)
(p D v q) M D (q D v D p)

5. Leyes distributivas: Esta ley distribuye a la proposicion fuera del parentesis con las que
estan dentro de este.
p v D (q D A D r) = n (p D v D q) A D (p D v D r)
p A D (q D v D r) = n (p D A D q) v D (p D A D r)
6. Leyes de De Morgan: Esta ley permite transformar una disyuncion en una conjuncion, y
viceversa, es decir, una conjuncion en una disyuncion. Cuando se pasa de una a otra, se
cambian los valores de afirmacion y negacion de los terminos de la disyuncion/conjuncion
asi como de la propia operacion en conjunto.

- (p D v q) = D - pD A - q
- (p D A q) = D - pD v - q

7. Leyes de la Im plication: Esta ley ordena de diversas formas a la proposition sin alterar el
producto.
(p D q) = D (p D ^ q) D A (q D ^ p)
(p D ^ q) = D (- pD ^ - q)
(q D ^ D p) = D (- q D ^ - p)
(p D ^ q) = (- pD v q)
Respecto a los lfmites, la logica proposicional permite formalizar y teorizar sobre la validez
de una gran cantidad de argumentos. Sin embargo, tambien existen argumentos que son
intuitivamente validos, pero cuya validez no puede ser probada por la logica proposicional.
Porejem plo, considerese el siguiente argumento:

Todos los hombres son mortales.

Socrates es un hombre.

Por lo tanto, Socrates es mortal.

Como este argumento no contiene ninguna de las conectivas no, y, o, etc., segun
la logica proposicional, su form alization sera la siguiente:

q
Por lo tanto, r

Pero esta es una forma de argumento invalida, y eso contradice nuestra intuition de que el
argumento es valido. Para teorizar sobre la validez de este tipo de argumentos, se
necesita investigar la estructura interna de las variables proposicionales. De esto se ocupa
la logica de primer orden.

Sistema Axiomatico
El sistema axiomatico esta compuesto por un Alfabeto y por una Gramatica. El alfabeto de
este sistema es el conjunto de sfmbolos que pertenecen al lenguaje del sistema. Consiste
en una cantidad finita pero arbitrariamente grande de variables proposicionales, conjunto
de operadores logicos y los dos signos de puntuacion parentesis. Este ultimo permite
eliminar la ambiguedad en expresiones ambiguas.
La gramatica consiste en un conjunto de reglas que definen un conjunto de caracteres que
pertenecen al lenguaje del sistema. Las cadenas de caracteres construidos de acuerdo a
estas reglas se les llaman formulas bien form adas. De acuerdo a estas leyes podemos
decir que las siguientes cadenas de caracteres son formulas bien formadas:

p
p

p^A q

(p ^ a q)
p p

Finalmente, existen jerarqufas que se deben respetar al momento de interpretar una

cadena de caracteres, las conjunciones y disyunciones tienen menor jerarqufa que las
implicaciones y bi-condicionales. Esto es equivalente a las matematicas, en las cuales las
multiplicaciones y divisiones se realizan antes que las sumas y restas, siempre y cuando
no se utilicen parentesis para definir lo contrario.
Los axiomas son un conjunto de formulas bien formadas que se toman como punto de
partida para demostraciones ulteriores.

Semantica
Una interpretation para un sistema de logica proposicional es una asignacion de valores
de verdad para cada variable proposicional, sumada a la asignacion usual de significados
para los operadores logicos.A cada variable proposicional se le asigna uno de dos posibles
valores de verdad: V (verdadero) o F (falso). Esto quiere decir que si hay n variables
proposicionales en el sistema, el numero de interpretaciones distintas es de 2 n.
Con

esto

aparecen

las

tablas

de

verdad,

que

representan

todas

interpretaciones de las variables proposicionales que constituyen

las

posibles

una determinada

formula.

continuation

generaremos

la

tabla

de

verdad

formula : 1(p D v q) ^ D ( p D ^ D r)

(pDv q)

- (pDv q)

(pD ^ r)

- (pDv q) ^ ( pD ^ r)

r
V

para

la

Formas Normales
A menudo es necesario transformar una formula en otra, sobretodo transformarla a su
forma Normal. Esto se consigue transformando la formula en otra equivalente y repitiendo
el proceso hasta conseguir una formula que solo utilice los conectivos basicos.

Denominaremos literal a cualquier formula compuesta por un unico sfmbolo de proposition

Clausula conjuntiva es cualquier conjuncion de literales.

Clausula disyuntiva es cualquier disyuncion de literales.

p (literal positivo) o su negation - p (literal negativo)

Una formula se dice que esta en Forma Normal Conjuntiva(FNC) si es una conjuncion de
clausulas disyuntivas.

Una formula se dice que esta en Forma Normal Disyuntiva(FND) si es una disyuncion de
clausulas conjuntivas.

Conversion a Forma Normal

Dada una formula ^ podemos construir formulas equivalentes, utilizando el vocabulario de

que sean forma normal disyuntiva FND(^) y forma normal conjuntiva FNC(^).

9- FND(^)

9 - FNC(^)

Demostracion informal para FND

Si 9 es contradiction 9 ~ 1 , que es FND por convenio

Si 9 no es contradiction, y voc( 9 )={p1, ..., pn}, existe una conectiva n-adica tal que
[( p1, . , pn)] v= [9 ]v'. Y dicha conectiva se puede representar por una disyuncion de
conjunciones (FND) como vimos en el tema anterior.

FNC(9 ) se puede calcular a partir de - F N D (- 9).

Logica Proposicional en la
Inteligencia Artificial
IMPORTANCIA DE LA LOGICA PARA EL AVANCE CIENTIFICO-TECNOLOGICO
Permite en base al conocimiento ya obtenido y validado, deducir nuevos conocimientos.
En base a razonamientos inductivos (de lo particular a lo general), podemos plantear
hipotesis o predicciones cientfficas; sin experimentacion.Permite la form alization del
lenguaje cientffico para la posterior demostracion de validez, tornandose preciso, exacto,
convencional y universal.
En tanto metodos logicos son el puente entre los metodos de investigation cientffica y los
metodos de exposition cientffica. Es la base y hasta el momento la fundamentacion de las
matematicas (consideradas ciencias exactas), segun la cual se puede deducir de un
conjunto de axiomas un conjunto de teoremas.
El desarrollo y el progreso de la logica implican el desarrollo y el progreso de las ciencias y
la tecnologfa, por ejemplos los circuitos logicos son el fundamento de los circuitos
electricos y de todo el sistema de com putation. Ahora, con las computadoras se pueden
hacer calculos y

predicciones

matematica,

lingufstica,

a la

sumamente
al

analisis

complejos.

del

lenguaje

Por sus
natural,

aplicaciones
al

analisis

de

a la
los

razonamientos filosoficos, las aplicaciones al metodo cientffico, y en general, no hay

campo de la ciencia ni de la tecnologfa contemporanea donde la logica no sea utilizada. En
este sentido, la logica es la columna vertebral de todos los acontecimientos en cuanto lo
organiza coherentemente.
En la vida diaria hacemos uso de la logica constantemente, incluso para cruzar una calle,
porque previamente razonamos: si viene un vehfculo, no debo cruzar la calle. Viene un
vehfculo. Luego, no debo cruzar la calle , o cuando un campesino ve una densa nube en el
cielo infiere que va llover, y asf podemos mencionar situaciones donde se usa la logica
indefinidamente.
Ejemplos de simbolizacion de Oraciones/Proposiciones
a) No vi la pelfcula, pero lei la novela: - p A q
b) Ni vi la pelfcula ni lei la novela: - p A -q
c) No es cierto que viese la pelfcula y leyese la novela: -(p A q)
d) Vi la pelfcula aunque no lei la novela: p

e) No me gusta trasnochar ni madrugar: - p

-q
a

-q

f)

O tu estas equivocado o es falsa la noticia que has lefdo: p v q

g) Si no estuvieras loca, no habrfas venido aquf: - p ^ -q

h) Llueve y o bien nieva o sopla el viento: p A (q v r)
i)

O esta lloviendo y nevando o esta soplando el viento: (p A q) v r)

j)

Si hay verdadera democracia, entonces no hay detenciones arbitrarias ni otras

violaciones de los derechos civiles: p ^ (-q A -r)

k) Roberto hara el doctorado cuando y solamente cuando obtenga la licenciatura: p ^ q
l) Si viene en tren, llegara antes de las seis. Si viene en automovil, llegara antes de las
seis. Luego, tanto si viene en tren como si viene en automovil, llegara antes de las seis:
p ^ q, r ^ q

|- (p v r) ^ q

Simbolizacion de Proposiciones
a) Si p, entonces q: p ^ q
b) No es el caso que p y q: -(p

q)

c) p solamente si q y no-r : P ~ (q A -r)

d) p o no-q: p v -q
e) Si p y q, entonces no-r o s: (p

q) ^ ( - r v s)

f)

Si p, entonces q, y si q, entonces p: (p ^ q) a(q ^ p)

g)

Si p y q, entonces r. p. Luego si q, entonces r:(p

h)

q) ^ r, p

|- q ^ r

Si p y q, entonces r. Si r y s, entonces t. Luego si p y q y s, entonces t:

(p

q ) ^ r, (r

s) ^ t |- (p

s) ^ t

Formalizacion de proposiciones
a. No es cierto que no me guste bailar.
p: me gusta bailar.
-(-p )
b. Me gusta bailar y leer libros de ciencia ficcion.
p: me gusta bailar.
q: me gusta leer libros de ciencia ficcion.
pAq
c. Si los gatos de mi hermana no soltaran tanto pelo me gustarfa acariciarlos.
p: los gatos de mi hermana sueltan pelo.
q: me gusta acariciar los gatos.
-p ^ q

d. Si y solo si viera un marciano con mis propios ojos, creerfa que hay vida extraterrestre.
p: ver un marciano con mis propios ojos.
q: creer en los extraterrestres.
P~ q
e. Una de dos: o salgo a darun paseo, o me pongo a estudiarcom o un energumeno.
p: sa lira dar un paseo.
q: estudiarcom o un energumeno.
pvq
f. Si los elefantes volaran o supieran tocar el acordeon, pensarfa que estoy como una
regadera y dejarfa que me internaran en un psiquiatrico.
p: los elefantes vuelan.
q: los elefantes tocan el acordeon.
r: estar loco.
s: internaren un psiquiatrico.
(pvq) ^ (r

s)

g. Prefiero ir de vacaciones o estar sin hacer nada si tengo tiempo para ello y no tengo que
ir a trabajar.
p: ir de vacaciones.
q: no hacer nada.
r: tener tiempo.
s: ir a trabajar.
(rA-s) ^ ( p v q )

h. Si tuvieran que justificarse ciertos hechos por su enorme tradition entonces, si estos
hechos son inofensivos y respetan a todo ser viviente y al medio ambiente, no habrfa
ningun problema. Pero si los hechos son barbaros o no respetuosos con los seres
vivientes o el medio ambiente, entonces habrfa que dejar de justificarlos o no podrfamos
considerarnos dignos de nuestro tiempo.
p: justificar hechos por su tradicion.
q: ser inofensivo.
r: ser respetuoso con los seres vivos.
s: ser respetuoso con el medio ambiente.
t: tener problemas.
-q : ser barbaro. (= no ser inofensivo)
u: serdigno de nuestro tiempo.
p ^ [ ( q A r A s ) ^ - t ] A [ (-q v - ( r v s ) ^ ( - p v - u )]

Ejemplos de Uso de Logica

Proposicional
Lenguajes de programacion en Robotica.
Realizaremos una breve description de los distintos lenguajes que podemos encontrarnos
en la robotica:
Lenguaje de comportamientos: Es un lenguaje de control basado en reglas y en tiempo
real que compila controladores AFS M .
Lenguaje robotico generico o G RL: Se trata de un lenguaje de programacion funcional
para programar grandes sistemas de control modulares. Usa automatas finitos como
bloques basicos de construction. Provee un rango de constructores mas extenso para
definir flujos de comunicacion y restricciones de sincronizacion entre diferentes modulos
que el lenguaje de comportamientos.
Sistema de planificacion de accion reactiva o RAPS: Se trata de otro lenguaje de
programacion que permite a los programadores especificar objetivos, planes asociados a
los objetivos y las condiciones para que dichos planes tengan exito. Provee facilidades
para manejar los fallos inevitables que se producen con los sistemas roboticas reales.
GOLOG: Se trata de un lenguaje que permite el razonamiento y el aprendizaje para un robot.
Fue introducido

por John McCarthy en

1963.

Mezcla

la resolution

deliberativa

de

problemas (planificacion) y la especificacion directa de control reactivo. Los programas en

este lenguaje estan formulados en calculo de situation, con la option adicional de
operadores de accion no deterministas.
CES: Corresponde a las siglas de C++ for embedded system. Se trata de un lenguaje de
programacion que extiende C++ e integra probabilidades y aprendizaje. Los tipos de datos
son distribuciones de probabilidad. Pero lo mas destacable de este lenguaje es que hace
posible entrenar el software de un robot con ejemplos.
ALisp: Fue escrito por Bhaskara Marthi. Es una extension del lenguaje LISP. Permite a los
programadores especificar puntos de eleccion no deterministas de forma similar a los
puntos de decision de G OLOG. ALisp aprende inductivamente la accion correcta mediante
aprendizaje porrefuerzo.

Conclusiones
La logica proposicional es una de las piezas fundamentales de la Inteligencia Artificial, ya
que para realizar los cambios necesarios para la evolution de esta ciencia, se precisa de
un lenguaje formal para representar los hechos que se reciben del mundo real y el uso de
las proposiciones. El utilizar proposiciones es una senal que encaja en forma perfecta en
este ambito. Es un modo sencillo y practico de resolver un problema, considerando que se

puede resolver disgregando el problema en proposiciones u oraciones sencillas que

permiten analizar los hechos y tom ar decisiones, es decir, crear nuevas proposiciones u
oraciones sencillas o compuestas que se incorporan a la base de conocimiento,
permitiendo el incremento y mejora de esta.
Este trabajo nos ha permitido profundizar los conocimientos del uso de la logica para la
resolution de problemas o la representation de la realidad a nivel de proposiciones.

Referencias
http://es.w ikipedia.org/w iki/R epresentaci% C 3% B 3n_del_conocim iento
http://es.w ikipedia.org/w iki/L% C 3% B 3gica_proposicional#S istem a_axiom .C 3.A 1tico
http://w w w .uhu.es/470004009/docs/Tem a_4.pdf
http://w w w .am pa-stjhuelva.org/C entro/Filosofia/Lgica% 20proposicional.pdf