“AÑO DEL DIÁLOGO Y LA RECONCILIACIÓN NACIONAL”

FACULTAD DE DERECHO Y CIENCIA POLÍTICA

ESCUELA PROFESIONAL DE DERECHO

CURSO:
MATEMÁTICA Y LÓGICA
DOCENTE:
OCHOA BERROCAL, Azalia
GRUPO: “B”
PALOMINO RONDINEL, Sheyla Nancy
QUISPE LAURENTE, Analí Fritz
SANCHES GODOY, Karina Jasmín
CICLO: I

SECCIÓN: “B”

AYACUCHO-PERÚ
2018
Dedico este trabajo a mi familia
quien me apoya día a día en mi labor
estudiantil, también dedicamos el
trabajo colaborativo grupal a nuestro
docente que nos guía en nuestro
aprendizaje.

2
 ÍNDICE
Introducción ........................................................................................................................................................ 4
¿Qué es Lógica Proposicional? ...................................................................................................................... 5
Conectivos lógicos ............................................................................................................................................ 7
Leyes y Límites de la Lógica Proposicional .............................................................................................. 9
Sistema Axiomático ........................................................................................................................................ 11
Semántica ........................................................................................................................................................... 12
Formas Normales ............................................................................................................................................. 13
LÓGICA PROPOSICIONAL EN LA INTELIGENCIA ARTIFICIAL ......................................... 14
Ejemplos de Uso de Lógica Proposicional: ............................................................................................. 18
Conclusiones ..................................................................................................................................................... 19
Referencias ........................................................................................................................................................ 20
Anexos ................................................................................................................................................................ 21

3
 Introducción

La representación 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 cómo usar un sistema de símbolos para
representar un dominio de una frase, junto con funciones que permitan razonar sobre las posibles
acciones que se puedan realizar. Generalmente, se usa algún tipo de lógica para proveer una
semántica formal de como las funciones de razonamiento se aplican a los símbolos del dominio
del discurso, además de proveer operadores como cuantificadores, operadores modales, etc.
Esto, junto a una teoría de interpretación, da significado a las frases en la lógica.

Cuando diseñamos un sistema de representación del conocimiento para interpretar frases y

poder derivar inferencias de ellas, tenemos que hacer elecciones que permitan obtener un
resultado lógico. La decisión más importante que hay que tomar es la expresividad de la
representación del conocimiento. Cuanto más expresiva es, decir algo es más fácil y más
compacto. Sin embargo, cuanto más expresivo es un lenguaje, más difícil es derivar inferencias
automáticamente de él. Por su parte “La lógica es el estudio de los métodos y principios usados
para distinguir el buen (correcto) razonamiento del malo (incorrecto)” (COPI, 1999, pág. 3)

4
 ¿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.

“El análisis de Aristóteles dependía de que se dividieran las proposiciones contenidas en la

inferencia en sujeto y predicado” (MOUNCE, 1983, pág. 14).

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.

5
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.

6
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 

Si Luke 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 p Q p q p q p q p q p q P q p 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

7
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.

8
 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:

1. Ley de doble negación: Establece que, si un enunciado está doblemente negado,

equivaldría 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.
(pp)  p
(pp)  p

3. 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)

4. 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)

5. 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)

9
 6. Leyes 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

7. 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
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

10
investigar la estructura interna de las variables proposicionales. De esto se ocupa la lógica de
primer orden.

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.

11
 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 respecto al significado de las
tablas de verdad, “una proposición es una función de verdad de proposiciones elementales”
(MOUNCE, 1983, pág. 59).

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 q r (p q) (p q) p r) (p q) p 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

12
 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(¬φ).

13
 LÓGICA PROPOSICIONAL EN LA INTELIGENCIA ARTIFICIAL

“El mundo, entonces, es la totalidad de los hechos en el espacio lógico; o, también, es la totalidad
de estados de cosas, los cuales se componen de objetos que encajan entre sí de un determinado
modo” (MOUNCE, 1983, págs. 34-35).

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.

14
Ejemplos de simbolización de Oraciones/Proposiciones

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

b) Ni vi la película ni leí la novela: ¬p ^ ¬q
c) No es cierto que viese la película y leyese la novela: ¬ (p ^ q)
d) Vi la película, aunque no leí la novela: p ^ ¬q
e) No me gusta trasnochar ni madrugar: ¬p ^ ¬q
f) O tú estás equivocado o es falsa la noticia que has leído: p v q
g) Si no estuvieras loca, no habrías venido aquí: ¬p → ¬q
h) Llueve y o bien nieva o sopla el viento: p ^ (q v r)
i) O está lloviendo y nevando o está soplando el viento: (p ^ q) v r)
j) 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 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

Simbolización 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 ^ ¬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) ^ (q → p)
g) Si p y q, entonces r. p. Luego si q, entonces r: (p ^ q) → r, p |- q → r
h) 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

15
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.

16
 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.
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)]

17
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.

18
 Conclusiones

La lógica proposicional es una de las piezas fundamentales 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.

19
 Referencias

COPI, I. (1999). Introducción a la Lógica. Buenos Aires: Eudeba.

MOUNCE, H. (1983). Introducción al “Tractatus” de Wittgenstein. Madrid: Tecnos.

20
Anexos

21
22
23
24
25