TRABAJO DE INVESTIGACIÓN

LÓGICA PROPOSICIONAL

INTEGRANTES:

- Condori Ahuanari, Caleb.

-

DOCENTE

CURSO – SECCION

FECHA
09 de julio de 2018
CONTENIDO

Introducción 3
¿Qué es Lógica Proposicional? 4
Conectivos lógicos 6
Leyes y Límites de la Lógica Proposicional 8
Sistema Axiomático 10
Semántica 10
Formas Normales 12
Lógica Proposicional en la Inteligencia Artificial 13
Ejemplos de Uso de Lógica Proposicional 16
Conclusiones 16
Referencia…………………………………………………………………………………………21

2
INTRODUCCIÓN

La matemática lógica es la que estudia el razonamiento, en si la matemática lógica es un

campo de estudio que ayuda a estudiar el razonamiento de las personas, es decir, como una
persona puede resolver algún problema en la vida, más aún en una carrera que se especializa
en el estudio de ciencias puras como la física, la química y la matemática.
Se necesita la lógica para resolver un problema de una determinada ocupación y se necesita la
lógica para desenvolverse en el lugar de acción, ya que ayuda a tener en cuenta que para
resolver una dificultad se debe usar la inteligencia.
La lógica matemática tiene mucho que ver con el modo de pensar ante una situación. En
cualquier carrera profesional u ocupación, siempre se estará en dificultades en varias
ocasiones o por lo menos en alguna vez en una situación que no se pueda solucionar, en ese
momento se debe usar el conocimiento empírico para efectuar un procedimiento lógico para
así poder solucionar los problemas que nos afligen y perturban al momento de realizar una
acción o tarea que se encomiende en un puesto o lugar de trabajo.
La necesidad de que la matemática lógica ayude o no depende del modo de pensar de cada
uno, para lo cual se debe estar preparado para determinar una solución, apelando a apoyarse
en la comprensión y capacidad deductiva y para llevar a cabo esa misión se requiere del uso
de la matemática lógica.

3
¿Qué es Lógica Proposicional?

Para entender qué es la Lógica proposicional, debemos entender que es una proposición. Una
proposición es una oración enunciativa, es decir, que afirma o niega algo y que por lo tanto,
puede ser verdadera o falsa. Esta proposición 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 lógica proposicional es un sistema formal cuyos elementos más simples
representan proposiciones, y cuyas constantes lógicas, llamadas conectivas, representan
operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor
complejidad. En la Lógica proposicional las proposiciones no se analizan, sino que se toman
como un bloque y son los elementos mínimos sobre los cuales opera esta rama de la Lógica.

Una proposición es una sentencia simple, también conocida como Proposición Simple, que
tiene un valor asociado ya sea verdadero (V), o falso (F). Por ejemplo:
hoy es sábado
hace frío

La lógica proposicional, permite la asignación 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 representación de las sentencias del ejemplo, como
proposiciones, sería:
hoy_es_sábado
hace_frío

Las proposiciones pueden combinarse para expresar conceptos más complejos, esto es
conocido como Proposición Compleja o Molecular, en la cual se unen proposiciones simples
formando una compleja. Por ejemplo:
hoy_es_sábado y hace_frío.

La proposición anterior recibe el nombre de fórmula bien formada. Una fórmula bien formada
puede ser una proposición simple o compuesta que tiene sentido completo y cuyo valor de
veracidad puede ser determinado. La Lógica Proposicional suministra un mecanismo para
asignar valores de veracidad a la proposición compuesta, basado en los valores de veracidad
de las proposiciones simples y en la naturaleza de los conectores lógicos involucrados. Un
enunciado complejo será verdadero o falso en función de la forma en que estén dispuestos los
enunciados simples que lo componen.

Lo que diferencia semánticamente 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 sólo 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 lógicas.

4
5
 Conectivos lógicos
En la lógica proposicional, los conectivos lógicos son tratados como funciones de verdad. Es
decir, como funciones que toman conjuntos de valores de verdad y devuelven valores de
verdad.

Expresión en
Conectivo Ejemplo Símbolo
lenguaje natural
Negación no Luke no es rubio

Conjunción Y Luke es rubio y Leia es morena

Disyunción O Luke es rubio o Leia es morena

SiLuke es rubio entonces Leia es
Implicación si... entonces
morena
Luke es rubio sí y solo sí Leia es
Bi-condicional sí y sólo sí 
morena

Los conectivos lógicos 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 función devuelve con todas las combinaciones posibles.

Negación Conjunción Disyunción Condicional Bicondicional

p p Q p p q p p q p P q p
p q q q q
V F V V V V V V V V V V V V
F V V F F V F V V F F V F F
F V F F V V F V V F V F
F F F F F F F F V F F V

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

ejemplos:

Sea p una fórmula cualquiera, ¬ p es verdadero cuando p es falso, y falso cuando p es

verdadero.

Sean p y q fórmulas cualesquiera, (p  q) es verdadero cuando p y q son verdaderos, y falso en

los demás casos.

Sean p y q fórmulas cualesquiera, (p q) es falso cuando p y q son falsos, y verdadero en los

demás casos.

Sean p y q fórmulas cualesquiera, (p  q) es falso cuando p es verdadero y q es falso, y

verdadero en los demás casos.

Sean p y q fórmulas cualesquiera, (p q) es falso cuando p y q tienen distinto valor de

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

Más que aprender de memoria estas tablas, lo importante es identificar el efecto que provoca
en los valores de verdad cuando se aplica una función.

6
7
Leyes y Límites de la Lógica Proposicional

Entre las reglas de la lógica proposicional clásica, algunas de las leyes más notables son las
siguientes:

Ley de doble negación: Establece que si un enunciado está doblemente negado, equivaldría al
enunciado afirmado.
pp

Leyes de idempotencia: Establece que si un enunciado se aplica un conector, de por sí mismo

vuelve a obtenerse el mismo enunciado.
(p p)  p
(p p)  p

Leyes asociativas: Establece que no importa cómo se agrupen los enunciados cuando se
conectan en forma de conjunción o disyunción.
(p  q)  r  p  (q  r)
(p  q)  r  p  (q  r)

Leyes conmutativas: Esta ley, no es válida para la implicación, pero sí para conjunción y para la
disyunción. Una conjunción es afirmar que se dan dos cosas a la vez, de modo que el orden de
sus elementos no cambia este hecho. Igualmente, una disyunción es presentar una elección
entre dos cosas, sin importar en qué orden se presente esta elección.
(p q)  (q p)
(p  q)  (q  p)

Leyes distributivas:Esta ley distribuye a la proposición fuera del paréntesis con las que están
dentro de este.
p  (q  r)  (p  q)  (p  r)
p  (q  r)  (p  q)  (p  r)

Leyes de De Morgan: Esta ley permite transformar una disyunción en una conjunción, y
viceversa, es decir, una conjunción en una disyunción. Cuando se pasa de una a otra, se
cambian los valores de afirmación y negación de los términos de la disyunción/conjunción así
como de la propia operación en conjunto.
(p  q)  p  q
(p  q)  p  q

Leyes de la Implicación: Esta ley ordena de diversas formas a la proposición sin alterar el
producto.
(p  q)  (p  q) (q  p)
(p  q)  ( p  q)
(q  p)  ( q  p)
(p  q)  ( p  q)

Respecto a los límites, la lógica proposicional permite formalizar y teorizar sobre la validez de
una gran cantidad de argumentos. Sin embargo, también existen argumentos que son

8
intuitivamente válidos, pero cuya validez no puede ser probada por la lógica proposicional. Por
ejemplo, considérese el siguiente argumento:
Todos los hombres son mortales.
Sócrates es un hombre.
Por lo tanto, Sócrates es mortal.

Como este argumento no contiene ninguna de las conectivas «no», «y», «o», etc., según la lógica
proposicional, su formalización será la siguiente:
p
q
Por lo tanto, r

Pero esta es una forma de argumento inválida, y eso contradice nuestra intuición de que el
argumento es válido. 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 lógica de
primer orden.

9
Sistema Axiomático

El sistema axiomático está compuesto por un Alfabeto y por una Gramática. El alfabeto de este
sistema es el conjunto de símbolos que pertenecen al lenguaje del sistema. Consiste en una
cantidad finita pero arbitrariamente grande de variables proposicionales, conjunto
de operadores lógicos y los dos signos de puntuación paréntesis. Este último permite eliminar
la ambigüedad en expresiones ambiguas.

La gramática 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 fórmulas bien formadas. De acuerdo a estas leyes podemos decir que las
siguientes cadenas de caracteres son fórmulas bien formadas:

p
p
p q
(p q)
p p

Finalmente, existen jerarquías que se deben respetar al momento de interpretar una cadena
de caracteres, las conjunciones y disyunciones tienen menor jerarquía que las implicaciones y
bi-condicionales. Esto es equivalente a las matemáticas, en las cuales las multiplicaciones y
divisiones se realizan antes que las sumas y restas, siempre y cuando no se utilicen paréntesis
para definir lo contrario.

Los axiomas son un conjunto de fórmulas bien formadas que se toman como punto de partida
para demostraciones ulteriores.

Semántica

Una interpretación para un sistema de lógica proposicional es una asignación de valores de

verdad para cada variable proposicional, sumada a la asignación usual de significados para los
operadores lógicos.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 número 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 fórmula. A continuación
generaremos la tabla de verdad para la fórmula: (p  q)  p  r)

(p  p  (p  q)  p 
p q r (p  q)
q) r) r)
V V V V F V V
V V F V F F V
V F V V F V V
V F F V F F V
F V V V F V V
F V F V F V V
F F V F V V V
F F F F V V V

10
11
Formas Normales
A menudo es necesario transformar una fórmula en otra, sobretodo transformarla a su forma
Normal. Esto se consigue transformando la fórmula en otra equivalente y repitiendo el proceso
hasta conseguir una fórmula que solo utilice los conectivos básicos.

Denominaremos literal a cualquier fórmula compuesta por un único símbolo de proposición p

(literal positivo) o su negación ¬p (literal negativo)
Cláusula conjuntiva es cualquier conjunción de literales.
Cláusula disyuntiva es cualquier disyunción de literales.
Una fórmula se dice que está en Forma Normal Conjuntiva(FNC) si es una conjunción de
cláusulas disyuntivas.
Una fórmula se dice que está en Forma Normal Disyuntiva(FND) si es una disyunción de
cláusulas conjuntivas.

Conversión a Forma Normal

Dada una fórmula φ podemos construir fórmulas equivalentes, utilizando el vocabulario de φ,
que sean forma normal disyuntiva FND(φ) y forma normal conjuntiva FNC(φ).
φ¬ FND(φ) φ¬ FNC(φ)

Demostración “informal” para FND

Si φ es contradicción φ ~ ⊥ , que es FND por convenio
Si φ no es contradicción, y voc(φ)={p1, …, pn}, existe una conectiva n-ádica ⊕ tal que [(⊕ p1,
…, pn)] v= [φ]v.. Y dicha conectiva ⊕ se puede representar por una disyunción de conjunciones
(FND) como vimos en el tema anterior.
FNC(φ) se puede calcular a partir de ¬ FND(¬φ).

12
Lógica Proposicional en la Inteligencia Artificial

IMPORTANCIA DE LA LÓGICA PARA EL AVANCE CIENTÍFICO-TECNOLÓGICO

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 hipótesis o
predicciones científicas; sin experimentación. Permite la formalización del lenguaje científico
para la posterior demostración de validez, tornándose preciso, exacto, convencional y
universal.

En tanto métodos lógicos son el puente entre los métodos de investigación científica y los
métodos de exposición científica. Es la base y hasta el momento la fundamentación de las
matemáticas (consideradas ciencias exactas), según la cual se puede deducir de un conjunto
de axiomas un conjunto de teoremas.

El desarrollo y el progreso de la lógica implican el desarrollo y el progreso de las ciencias y la

tecnología, por ejemplos los circuitos lógicos son el fundamento de los circuitos eléctricos y de
todo el sistema de computación. Ahora, con las computadoras se pueden hacer cálculos y
predicciones sumamente complejos. Por sus aplicaciones a la matemática, a la lingüística, al
análisis del lenguaje natural, al análisis de los razonamientos filosóficos, las aplicaciones al
método científico, y en general, no hay campo de la ciencia ni de la tecnología contemporánea
donde la lógica no sea utilizada. En este sentido, la lógica es la columna vertebral de todos los
acontecimientos en cuanto lo organiza coherentemente.

En la vida diaria hacemos uso de la lógica constantemente, incluso para cruzar una calle,
porque previamente razonamos: “si viene un vehículo, no debo cruzar la calle. Viene un
vehículo. 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 lógica
indefinidamente.

Ejemplos de simbolización de Oraciones/Proposiciones

No vi la película, pero leí la novela: ¬p ^ q

Ni vi la película ni leí la novela: ¬p ^ ¬q
No es cierto que viese la película y leyese la novela: ¬(p ^ q)
Vi la película aunque no leí la novela: p ^ ¬q
No me gusta trasnochar ni madrugar: ¬p ^ ¬q
O tú estás equivocado o es falsa la noticia que has leído: p v q
Si no estuvieras loca, no habrías 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)
Roberto hará el doctorado cuando y solamente cuando obtenga la licenciatura: p ↔ q
Si viene en tren, llegará antes de las seis. Si viene en automóvil, llegará antes de las seis.
Luego, tanto si viene en tren como si viene en automóvil, llegará antes de las seis: p → q, r →
q |- (p v r) → q

13
Simbolización de Proposiciones

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

Formalización 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 ficción.

p: me gusta bailar.
q: me gusta leer libros de ciencia ficción.
p^q

c. Si los gatos de mi hermana no soltaran tanto pelo me gustaría acariciarlos.

p: los gatos de mi hermana sueltan pelo.
q: me gusta acariciar los gatos.
¬p → q

d. Si y sólo si viera un marciano con mis propios ojos, creería 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 dar un paseo, o me pongo a estudiar como un energúmeno.

p: salir a dar un paseo.
q: estudiar como un energúmeno.
pvq

f. Si los elefantes volaran o supieran tocar el acordeón, pensaría que estoy como una regadera
y dejaría que me internaran en un psiquiátrico.
p: los elefantes vuelan.
q: los elefantes tocan el acordeón.
r: estar loco.
s: internar en un psiquiátrico.
( 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.

14
s: ir a trabajar.
( r ^ ¬s ) →( p v q )

h. “Si tuvieran que justificarse ciertos hechos por su enorme tradición entonces, si estos
hechos son inofensivos y respetan a todo ser viviente y al medio ambiente, no habría ningún
problema. Pero si los hechos son bárbaros o no respetuosos con los seres vivientes o el medio
ambiente, entonces habría que dejar de justificarlos o no podríamos considerarnos dignos de
nuestro tiempo.”
p: justificar hechos por su tradición.
q: ser inofensivo.
r: ser respetuoso con los seres vivos.
s: ser respetuoso con el medio ambiente.
t: tener problemas.
¬q: ser bárbaro. (= no ser inofensivo)
u: ser digno de nuestro tiempo.
p → [ ( q ^ r ^ s) → ¬t ] ^ [ (¬q v ¬( r v s ) → ( ¬p v ¬u ) ]

15
Ejemplos de Uso de Lógica Proposicional

Lenguajes de programación en Robótica.

Realizaremos una breve descripción de los distintos lenguajes que podemos encontrarnos en
la robótica:
Lenguaje de comportamientos: Es un lenguaje de control basado en reglas y en tiempo real
que compila controladores AFSM.
Lenguaje robótico genérico o GRL: Se trata de un lenguaje de programación funcional para
programar grandes sistemas de control modulares. Usa autómatas finitos como bloques
básicos de construcción. Provee un rango de constructores más extenso para definir flujos de
comunicación y restricciones de sincronización entre diferentes módulos que el lenguaje de
comportamientos.
Sistema de planificación de acción reactiva o RAPS: Se trata de otro lenguaje de programación
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 robóticas 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 resolución deliberativa de problemas
(planificación) y la especificación directa de control reactivo. Los programas en este lenguaje
están formulados en cálculo de situación, con la opción adicional de operadores de acción no
deterministas.
CES: Corresponde a las siglas de C++ for embedded system. Se trata de un lenguaje de
programación que extiende C++ e integra probabilidades y aprendizaje. Los tipos de datos son
distribuciones de probabilidad. Pero lo más destacable de este lenguaje es que hace posible
“entrenar” el software de un robot con ejemplos.
ALisp: Fue escrito por Bhaskara Marthi. Es una extensión del lenguaje LISP. Permite a los
programadores especificar puntos de elección no deterministas de forma similar a los puntos
de decisión de GOLOG. ALisp aprende inductivamente la acción correcta mediante aprendizaje
por refuerzo.

Conclusiones
La lógica proposicional es una de las piezasfundamentales de la Inteligencia Artificial, ya que
para realizar los cambios necesarios para la evolución 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 señal que encaja en forma perfecta en este
ámbito. Es un modo sencillo y práctico 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 lógica para la
resolución de problemas o la representación de la realidad a nivel de proposiciones.

16
BIBLIOGRAFÍA
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

17
18
19