“AÑO DE LA LUCHA CONTRA LA

CORRUPCIÓN E IMPUNIDAD”
ESCUELA SUPERIOR DE FORMACIÓN ARTÍSTICA PÚBLICA “LORENZO LUJÁN
DARJON”
LÓGICA PROPOSIONAL
ÁREA: MATEMÁTICAS

PROFESOR: JORGE ANGULO SOLSOL

INTEGRANTES: OLÓRTEGUI MESA, L. ISABEL

: SHAPIAMA RODRÍGUEZ, SANDY PRISCILA

IQUITOS-PERÚ

2019
 INTRODUCCIÓN

 La presentación del conocimiento es un

área de la inteligencia artificial cuyo
objetivo fundamental es representar el
conocimiento de una manera que facilite
sacar conclusiones a partir de dicho
conocimiento.
 ¿Qué es lógica proposicional?

 Es un sistema formal cuyos elementos mas

simples representan proposiciones, y cuyas
constantes lógicas, llamadas conectivas,
representan operaciones sobre proposiciones,
capaces de formar otras proposiciones de mayor
complejidad.
 EJEMPLO
 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 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.
 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 LENGUAJE EJEMPLO
NATURAL SIMBOLO
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
implicación Si…..entonces Si luke es rubio entonces þ
leia es morena
Bi-condicional Sí y sólo sí Luke es rubio sí y sólo sí Ûº
leia es morena
Sea “p” una formula cualquiera, “p” es Sea “p” y “q” fórmulas cualquiera, (p Ù
verdadero cuando “p” es falso, y falso q)es verdadero cuando p y q son
cuando “p” es verdadero verdaderos, y falso en los demás casos

CONFUNCIÓN
NEGACIÓN
P Q PÙq
P ØP
V V V
V F V F F

F V F V F
F F F
Sean p y q formulas Sean p y q formulas
cualesquiera,(p ú q) es falso cualesquiera,(p ® q) es falso
cuando p y q son falsos, y cuando p es verdadero en los
verdadero en los demás casos. demás casos.

DISYUNCIÓN CONDICIONAL
p q PÚq p q Pþq
v v V
V V V
v F V
V F F
F V V
F F F F V V
Sean p y q fórmulas cualesquiera, (p Û q) es
falso cuando p y q tienen distintos valor de
verdad, y verdadero cuando tienen el mismo
valor de verdad.

BICONDICIONAL
P q PÛq
V V V
V F F
F V F
 LEYES Y LÍMITES DE LA LÓGICA
PROPOSICIONAL
 Algunas de las leyes mas notables son los siguientes:
• Ley de doble negación
• Leyes de idempotencia
• Leyes asociativas
• Leyes comunicativas
• Leyes distributivas
• Leyes de Morgan
• Leyes de la implicación
 SISTEMA AXIOMÁTICO
 Esta compuesto por un alfabeto y por una gramática. 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.
 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
 SEMÁNTICA
 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 continuación generaremos la tabla de verdad
para la fórmula: Ø(p Ù q) þ (p þ r).
p q r (p U q) Ø(p U 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
 FORMAS NORMALES

 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.
o 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)
o Cláusula conjuntiva es cualquier conjunción de literales.
o Cláusula disyuntiva es cualquier disyunción de literales.
o Una fórmula se dice que está en forma normal conjuntiva (FNC) si es una
conjunción de cláusulas disyuntivas .
o Una fórmula se dice que está en forma normal disyuntiva (FND) si es una
disyunción de cláusulas conjuntivas.
 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
 SIMBOLIZACIÓN DE PROPOSICIONES
a) Si p, entonces q: pq
b) No es el caso que p y q: ¬(p ˆ q)
c) P solamente si q y no-r: p
d) P o no-q: pˇ¬q

FORMALIZACION DE PROPOSICIONES
e) No es cierto que no me gusta 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
 EJEMPLOS DE USO DE LÓGICA
PROPOSICIONAL

1. Lenguajes de programación en robótica.

2. Lenguaje de comportamientos
3. Lenguaje robótico genérico O GRL
4. Sistema de planificación de acción reactiva O RAPS
5. GOLOG
6. CES
7. ALisp
 INFERENCIA LÓGICA

 Una inferencia es valida si, y solo si la conjunción de las premisas implica

la conclusión. Una inferencia es concluyente o correcta si se realiza de
acuerdo con una regla de inferencia valida.
 Simbólicamente: sean pi (con i=1,2,3,4,…n) premisas y q la conclusión,
entonces,

P1ˆp2ˆp3ˆp4ˆ…pⁿq(conclusión)
 CONCLUSIÓN

 CUANDO SE FORMULAN SISTEMAS O MODELOS MATEMATICOS SE

PRETENDE REALIZAR UNA REPRESENTACION ABSTRACTA DE
DETERMINADOS CONCEPTOS CON LOS FENÓMENOS REALES.
GRACIAS POR SU ATENCIÓN