FACULTAD DE

INGENIERIA Y NEGOCIOS
ESCUELA DE INGENIERIA

TRABAJO DE INVESTIGACIN
LGICA PROPOSICIONAL

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

FACULTAD DE
INGENIERA Y NEGOCIOS
ESCUELA DE INGENIERA

Contenido
Introduccin...............................................................................................................3
Qu es Lgica Proposicional?.................................................................................4
Conectivos lgicos.....................................................................................................6
Leyes y Lmites de la Lgica Proposicional...............................................................8
Sistema Axiomtico..................................................................................................11
Semntica................................................................................................................12
Formas Normales....................................................................................................13
Lgica Proposicional en la Inteligencia Artificial......................................................14
Ejemplos de Uso de Lgica Proposicional..............................................................19
Conclusiones...........................................................................................................20
Referencias..............................................................................................................21
Anexos.....................................................................................................................22

FACULTAD DE
INGENIERA Y NEGOCIOS
ESCUELA DE INGENIERA

Introduccin
La representacin del conocimiento es un rea 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 cmo usar
un sistema de smbolos para representar un dominio de una frase, junto con
funciones que permitan razonar sobre las posibles acciones que se puedan
realizar. Generalmente, se usa algn tipo de lgica para proveer una semntica
formal de como las funciones de razonamiento se aplican a los smbolos del
dominio del discurso, adems de proveer operadores como cuantificadores,
operadores modales, etc. Esto, junto a una teora de interpretacin, da significado
a las frases en la lgica.
Cuando diseamos un sistema de representacin del conocimiento para
interpretar frases y poder derivar inferencias de ellas, tenemos que hacer
elecciones que permitan obtener un resultado lgico. La decisin ms importante
que hay que tomar es la expresividad de la representacin del conocimiento.
Cuanto ms expresiva es, decir algo es ms fcil y ms compacto. Sin embargo,
cuanto ms expresivo es un lenguaje, ms difcil es derivar inferencias
automticamente de l.

FACULTAD DE
INGENIERA Y NEGOCIOS
ESCUELA DE INGENIERA

Qu es Lgica Proposicional?

Para entender qu es la Lgica proposicional, debemos entender que es una

proposicin. Una proposicin es una oracin enunciativa, es decir, que afirma o
niega algo y que por lo tanto, puede ser verdadera o falsa. Esta proposicin ser
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 lgica proposicional es un sistema formal cuyos elementos ms
simples representan

proposiciones, y

cuyas constantes lgicas, llamadas

conectivas, representan operaciones sobre proposiciones, capaces de formar

otras proposiciones de mayor complejidad. En la Lgica proposicional las
proposiciones no se analizan, sino que se toman como un bloque y son los
elementos mnimos sobre los cuales opera esta rama de la Lgica.
Una proposicin es una sentencia simple, tambin conocida como Proposicin
Simple, que tiene un valor asociado ya sea verdadero (V), o falso (F). Por ejemplo:

hoy es sbado
hace fro

La lgica proposicional, permite la asignacin 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 representacin de las sentencias del
ejemplo, como proposiciones, sera:

hoy_es_sbado
hace_fro

FACULTAD DE
INGENIERA Y NEGOCIOS
ESCUELA DE INGENIERA
Las proposiciones pueden combinarse para expresar conceptos ms complejos,
esto es conocido como Proposicin Compleja o Molecular, en la cual se unen
proposiciones simples formando una compleja. Por ejemplo:

hoy_es_sbado y hace_fro.

La proposicin anterior recibe el nombre de frmula bien formada. Una frmula

bien formada puede ser una proposicin simple o compuesta que tiene sentido
completo y cuyo valor de veracidad puede ser determinado. La Lgica
Proposicional suministra un mecanismo para asignar valores de veracidad a la
proposicin compuesta, basado en los valores de veracidad de las proposiciones
simples y en la naturaleza de los conectores lgicos involucrados. Un enunciado
complejo ser verdadero o falso en funcin de la forma en que estn dispuestos
los enunciados simples que lo componen.
Lo que diferencia semnticamente 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 slo si, Leia es morena
Luke no es rubio, ni Leia morena

Cada una de estas afirmaciones es verdadera en condiciones diferentes. Dichas

condiciones vienen dadas por las distintas conectivas lgicas.

FACULTAD DE
INGENIERA Y NEGOCIOS
ESCUELA DE INGENIERA

Conectivos lgicos
En la lgica proposicional, los conectivos lgicos son tratados como funciones de
verdad. Es decir, como funciones que toman conjuntos de valores de verdad y
devuelven valores de verdad.
Expresin en

Conectivo

Ejemplo

lenguaje natural

Smbolo

Negacin

no

Luke no es rubio

Conjuncin

Luke es rubio y Leia es morena

Disyuncin

Luke es rubio o Leia es morena

Implicacin

si... entonces

Bi-condicional

SiLuke es rubio entonces Leia es

morena
Luke es rubio s y solo s Leia es

s y slo s

morena

Los conectivos lgicos 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 funcin devuelve con todas las
combinaciones posibles.

Negacin

Conjuncin

Disyuncin

Condicional

Bicondicional

p q

p q

p q

p q

FACULTAD DE
INGENIERA Y NEGOCIOS
ESCUELA DE INGENIERA
Para representar la tabla de verdad cuando se aplica conectores, se exponen
algunos ejemplos:

Sea p una frmula cualquiera, p es verdadero cuando p es falso, y falso

cuando p es verdadero.

Sean p y q frmulas cualesquiera, (p q) es verdadero cuando p y q son

verdaderos, y falso en los dems casos.

Sean p y q frmulas cualesquiera, (p q) es falso cuando p y q son falsos, y

verdadero en los dems casos.

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

q es falso, y verdadero en los dems casos.

Sean p y q frmulas cualesquiera, (p q) es falso cuando p y q tienen

distinto valor de verdad, y verdadero cuando tienen el mismo valor de
verdad.

Ms que aprender de memoria estas tablas, lo importante es identificar el efecto

que provoca en los valores de verdad cuando se aplica una funcin.

FACULTAD DE
INGENIERA Y NEGOCIOS
ESCUELA DE INGENIERA

Leyes y Lmites de la Lgica Proposicional

Entre las reglas de la lgica proposicional clsica, algunas de las leyes ms

notables son las siguientes:
1. Ley de doble negacin: Establece que si un enunciado est doblemente
negado, equivaldra al enunciado afirmado.
p p
2. Leyes de idempotencia: Establece que si un enunciado se aplica un
conector, de por s mismo vuelve a obtenerse el mismo enunciado.
(pp) p
(pp) p
3. Leyes asociativas: Establece que no importa cmo se agrupen los
enunciados cuando se conectan en forma de conjuncin o disyuncin.
(p q) r p (qr)
(p q) r p (qr)
4. Leyes conmutativas: Esta ley, no es vlida para la implicacin, pero s para
conjuncin y para la disyuncin. Una conjuncin es afirmar que se dan dos
cosas a la vez, de modo que el orden de sus elementos no cambia este
hecho. Igualmente, una disyuncin es presentar una eleccin entre dos
cosas, sin importar en qu orden se presente esta eleccin.
(p q) (qp)
(p q) (qp)

FACULTAD DE
INGENIERA Y NEGOCIOS
ESCUELA DE INGENIERA

5. Leyes distributivas:Esta ley distribuye a la proposicin fuera del parntesis

con las que estn dentro de este.
p (qr) (pq) (pr)
p (qr) (pq) (pr)
6. Leyes de De Morgan: Esta ley permite transformar una disyuncin en una
conjuncin, y viceversa, es decir, una conjuncin en una disyuncin.
Cuando se pasa de una a otra, se cambian los valores de afirmacin y
negacin de los trminos de la disyuncin/conjuncin as como de la propia
operacin en conjunto.
(p q) pq
(p q) pq
7. Leyes de la Implicacin: Esta ley ordena de diversas formas a la
proposicin sin alterar el producto.
(p q) (p q)(qp)
(p q) (pq)
(qp) (qp)
(p q) (p q)
Respecto a los lmites, la lgica proposicional permite formalizar y teorizar sobre la
validez de una gran cantidad de argumentos. Sin embargo, tambin existen
argumentos que son intuitivamente vlidos, pero cuya validez no puede ser
probada por la lgica proposicional. Por ejemplo, considrese el siguiente
argumento:

Todos los hombres son mortales.

Scrates es un hombre.
Por lo tanto, Scrates es mortal.

FACULTAD DE
INGENIERA Y NEGOCIOS
ESCUELA DE INGENIERA

Como este argumento no contiene ninguna de las conectivas no, y, o, etc.,

segn la lgica proposicional, su formalizacin ser la siguiente:

p
q
Por lo tanto, r

Pero esta es una forma de argumento invlida, y eso contradice nuestra intuicin
de que el argumento es vlido. 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 lgica de primer orden.

10

FACULTAD DE
INGENIERA Y NEGOCIOS
ESCUELA DE INGENIERA

Sistema Axiomtico

El sistema axiomtico est compuesto por un Alfabeto y por una Gramtica. El

alfabeto de este sistema es el conjunto de smbolos que pertenecen al lenguaje
del sistema. Consiste en una cantidad finita pero arbitrariamente grande de
variables proposicionales, conjunto de operadores lgicos y los dos signos de
puntuacin parntesis. Este ltimo permite eliminar la ambigedad en expresiones
ambiguas.
La gramtica 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 frmulas bien formadas. De
acuerdo a estas leyes podemos decir que las siguientes cadenas de caracteres
son frmulas bien formadas:

p
p
p q
(p q)
pp

Finalmente, existen jerarquas que se deben respetar al momento de interpretar

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

11

FACULTAD DE
INGENIERA Y NEGOCIOS
ESCUELA DE INGENIERA

Semntica

Una interpretacin para un sistema de lgica proposicional es una asignacin de

valores de verdad para cada variable proposicional, sumada a la asignacin usual
de significados para los operadores lgicos.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 nmero de
interpretaciones distintas es de 2n.
Con esto aparecen las tablas de verdad, que representan todas las posibles
interpretaciones de las variables proposicionales que constituyen una determinada
frmula. A continuacin generaremos la tabla de verdad para la frmula: (p q)
pr)

p
V
V
V
V
F
F
F
F

q
V
V
F
F
V
V
F
F

r
V
F
V
F
V
F
V
F

(p q)
V
V
V
V
V
V
F
F

(p q)
F
F
F
F
F
F
V
V

p r)
V
F
V
F
V
V
V
V

(p q) p r)
V
V
V
V
V
V
V
V

12

FACULTAD DE
INGENIERA Y NEGOCIOS
ESCUELA DE INGENIERA

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

Denominaremos literal a cualquier frmula compuesta por un nico smbolo

de proposicin p (literal positivo) o su negacin p (literal negativo)

Clusula conjuntiva es cualquier conjuncin de literales.
Clusula disyuntiva es cualquier disyuncin de literales.
Una frmula se dice que est en Forma Normal Conjuntiva(FNC) si es una

conjuncin de clusulas disyuntivas.

Una frmula se dice que est en Forma Normal Disyuntiva(FND) si es una
disyuncin de clusulas conjuntivas.

Conversin a Forma Normal

Dada una frmula podemos construir frmulas equivalentes, utilizando el

vocabulario de , que sean forma normal disyuntiva FND() y forma normal
conjuntiva FNC().
FND()

FNC()

Demostracin informal para FND

Si es contradiccin ~ , que es FND por convenio

Si no es contradiccin, y voc()={p1, , pn}, existe una conectiva n-dica
tal que [( p1, , pn)] v= []v.. Y dicha conectiva se puede representar

por una disyuncin de conjunciones (FND) como vimos en el tema anterior.

FNC() se puede calcular a partir de FND().

13

FACULTAD DE
INGENIERA Y NEGOCIOS
ESCUELA DE INGENIERA

Lgica Proposicional en la Inteligencia Artificial

IMPORTANCIA

DE

LA

LGICA

PARA

EL

AVANCE

CIENTFICO-

TECNOLGICO
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 hiptesis o predicciones cientficas; sin experimentacin.
Permite la formalizacin del lenguaje cientfico para la posterior demostracin de
validez, tornndose preciso, exacto, convencional y universal.
En tanto mtodos lgicos son el puente entre los mtodos de investigacin
cientfica y los mtodos de exposicin cientfica. Es la base y hasta el momento la
fundamentacin de las matemticas (consideradas ciencias exactas), segn la
cual se puede deducir de un conjunto de axiomas un conjunto de teoremas.
El desarrollo y el progreso de la lgica implican el desarrollo y el progreso de las
ciencias y la tecnologa, por ejemplos los circuitos lgicos son el fundamento de
los circuitos elctricos y de todo el sistema de computacin. Ahora, con las
computadoras se pueden hacer clculos y predicciones sumamente complejos.
Por sus aplicaciones a la matemtica, a la lingstica, al anlisis del lenguaje
natural, al anlisis de los razonamientos filosficos, las aplicaciones al mtodo
cientfico, y en general, no hay campo de la ciencia ni de la tecnologa
contempornea donde la lgica no sea utilizada. En este sentido, la lgica es la
columna vertebral de todos los acontecimientos en cuanto lo organiza
coherentemente.

14

FACULTAD DE
INGENIERA Y NEGOCIOS
ESCUELA DE INGENIERA
En la vida diaria hacemos uso de la lgica constantemente, incluso para cruzar
una calle, porque previamente razonamos: si viene un vehculo, no debo cruzar la
calle. Viene un vehculo. Luego, no debo cruzar la calle, o cuando un campesino
ve una densa nube en el cielo infiere que va llover, y as podemos mencionar
situaciones donde se usa la lgica indefinidamente.
Ejemplos de simbolizacin de Oraciones/Proposiciones
a)
b)
c)
d)
e)
f)
g)
h)
i)
j)

No vi la pelcula, pero le la novela: p ^ q

Ni vi la pelcula ni le la novela: p ^ q
No es cierto que viese la pelcula y leyese la novela: (p ^ q)
Vi la pelcula aunque no le la novela: p ^ q
No me gusta trasnochar ni madrugar: p ^ q
O t ests equivocado o es falsa la noticia que has ledo: p v q
Si no estuvieras loca, no habras venido aqu: p q
Llueve y o bien nieva o sopla el viento: p ^ (q v r)
O est lloviendo y nevando o est soplando el viento: (p ^ q) v r)
Si hay verdadera democracia, entonces no hay detenciones arbitrarias ni

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

k) Roberto har el doctorado cuando y solamente cuando obtenga la
licenciatura: p q
l) Si viene en tren, llegar antes de las seis. Si viene en automvil, llegar
antes de las seis. Luego, tanto si viene en tren como si viene en automvil,
llegar antes de las seis: p q, r q |- (p v r) q

15

FACULTAD DE
INGENIERA Y NEGOCIOS
ESCUELA DE INGENIERA
Simbolizacin de Proposiciones
a)
b)
c)
d)
e)
f)
g)
h)

Si p, entonces q: p q
No es el caso que p y q: (p ^ q)
p solamente si q y no-r: p (q ^ r)
p o no-q: p v q
Si p y q, entonces no-r o s: (p ^ q) (r v s)
Si p, entonces q, y si q, entonces p: (p q) ^ (q p)
Si p y q, entonces r. p. Luego si q, entonces r: (p ^ 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 ^ q ^ s) t

Formalizacin 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 ficcin.
p: me gusta bailar.
q: me gusta leer libros de ciencia ficcin.
p^q
c. Si los gatos de mi hermana no soltaran tanto pelo me gustara acariciarlos.
p: los gatos de mi hermana sueltan pelo.
q: me gusta acariciar los gatos.
p q

d. Si y slo si viera un marciano con mis propios ojos, creera que hay vida
extraterrestre.
p: ver un marciano con mis propios ojos.
q: creer en los extraterrestres.

16

FACULTAD DE
INGENIERA Y NEGOCIOS
ESCUELA DE INGENIERA
pq
e. Una de dos: o salgo a dar un paseo, o me pongo a estudiar como un
energmeno.
p: salir a dar un paseo.
q: estudiar como un energmeno.
pvq
f. Si los elefantes volaran o supieran tocar el acorden, pensara que estoy como
una regadera y dejara que me internaran en un psiquitrico.
p: los elefantes vuelan.
q: los elefantes tocan el acorden.
r: estar loco.
s: internar en un psiquitrico.
( p v q ) ( 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.
( r ^ s ) ( p v q )

h. Si tuvieran que justificarse ciertos hechos por su enorme tradicin entonces, si

estos hechos son inofensivos y respetan a todo ser viviente y al medio ambiente,
no habra ningn problema. Pero si los hechos son brbaros o no respetuosos con
los seres vivientes o el medio ambiente, entonces habra que dejar de justificarlos
o no podramos considerarnos dignos de nuestro tiempo.
17

FACULTAD DE
INGENIERA Y NEGOCIOS
ESCUELA DE INGENIERA
p: justificar hechos por su tradicin.
q: ser inofensivo.
r: ser respetuoso con los seres vivos.
s: ser respetuoso con el medio ambiente.
t: tener problemas.
q: ser brbaro. (= no ser inofensivo)
u: ser digno de nuestro tiempo.
p [ ( q ^ r ^ s) t ] ^ [ (q v ( r v s ) ( p v

u ) ]

18

FACULTAD DE
INGENIERA Y NEGOCIOS
ESCUELA DE INGENIERA

Ejemplos de Uso de Lgica Proposicional

Lenguajes de programacin en Robtica.

Realizaremos una breve descripcin de los distintos lenguajes que podemos encontrarnos en la
robtica:

Lenguaje de comportamientos: Es un lenguaje de control basado en

reglas y en tiempo real que compila controladores AFSM.

Lenguaje

robtico genrico o GRL: Se

trata

de

un

lenguaje

de

programacin funcional para programar grandes sistemas de control

modulares. Usa autmatas finitos como bloques bsicos de construccin.
Provee un rango de constructores ms extenso para definir flujos de
comunicacin y restricciones de sincronizacin entre diferentes mdulos que el
lenguaje de comportamientos.

Sistema de planificacin de accin reactiva o RAPS: Se trata de otro

lenguaje de programacin que permite a los programadores especificar
objetivos, planes asociados a los objetivos y las condiciones para que dichos
planes tengan xito. Provee facilidades para manejar los fallos inevitables que
se producen con los sistemas robticas 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 resolucin deliberativa de problemas (planificacin) y la especificacin
directa de control reactivo. Los programas en este lenguaje estn formulados
en clculo de situacin, con la opcin adicional de operadores de accin no
deterministas.

19

FACULTAD DE
INGENIERA Y NEGOCIOS
ESCUELA DE INGENIERA

CES: Corresponde a las siglas de C++ for embedded system. Se trata de

un lenguaje de programacin que extiende C++ e integra probabilidades y
aprendizaje. Los tipos de datos son distribuciones de probabilidad. Pero lo ms
destacable de este lenguaje es que hace posible entrenar el software de un
robot con ejemplos.

ALisp: Fue

escrito

por Bhaskara

Marthi.

Es

una

extensin

del

lenguaje LISP. Permite a los programadores especificar puntos de eleccin no

deterministas

de

forma

de GOLOG. ALisp aprende

similar

inductivamente

los
la

puntos
accin

de

decisin

correcta

mediante

aprendizaje por refuerzo.

Conclusiones
La lgica proposicional es una de las piezasfundamentales de la Inteligencia
Artificial, ya que para realizar los cambios necesarios para la evolucin 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 seal que encaja en forma perfecta en este mbito. Es un modo sencillo y
prctico de resolver un problema, considerando que se puede resolver
disgregando el problema en proposiciones u oraciones sencillas que permiten
analizar los hechos y tomar 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 lgica
para la resolucin de problemas o la representacin de la realidad a nivel de
proposiciones.

20

FACULTAD DE
INGENIERA Y NEGOCIOS
ESCUELA DE INGENIERA

21

FACULTAD DE
INGENIERA Y NEGOCIOS
ESCUELA DE INGENIERA

Referencias
http://es.wikipedia.org/wiki/Representaci%C3%B3n_del_conocimiento
http://es.wikipedia.org/wiki/L%C3%B3gica_proposicional#Sistema_axiom.C3.A1tico
http://www.uhu.es/470004009/docs/Tema_4.pdf
http://www.ampa-stjhuelva.org/Centro/Filosofia/Lgica%20proposicional.pdf

22

FACULTAD DE
INGENIERA Y NEGOCIOS
ESCUELA DE INGENIERA

Anexos

23

FACULTAD DE
INGENIERA Y NEGOCIOS
ESCUELA DE INGENIERA

24

FACULTAD DE
INGENIERA Y NEGOCIOS
ESCUELA DE INGENIERA

25

FACULTAD DE
INGENIERA Y NEGOCIOS
ESCUELA DE INGENIERA

26

FACULTAD DE
INGENIERA Y NEGOCIOS
ESCUELA DE INGENIERA

27