Lgica de Predicados

Ing. Bruno Lpez Takeyas

Lgica de predicados
Lgica de predicados
Clculo de predicados
Reglas de inferencia
Deduccin proposicional
Demostracin condicional
Demostracin indirecta
Valores de certeza y Tautologa

Lgica de Predicados

Ing. Bruno Lpez Takeyas

Lgica de predicados

Lgica

Sintaxis

Sistema

Semntica

Simblico

Es una herramienta para estudiar el

comportamiento de un sistema lgico.
Adems proporciona un criterio para
determinar si un sistema lgico es
absurdo o inconsistente.
Sistema simblico : Lenguaje y frmulas
lgicas.

Lgica de Predicados

Ing. Bruno Lpez Takeyas

Clculo de predicados
Lenguaje de
clculo de
predicados

Forma de
representar
conocimiento

Proposiciones
Representacin en lenguaje cotidiano que
debe estar libre de vaguedades.
Atmicas

Simples (sin
trminos de
enlace)

Moleculares

Unin de prop.
Atmicas con
trminos de
enlace

Proposiciones

Lgica de Predicados

Ing. Bruno Lpez Takeyas

Conexiones lgicas y
Trminos de enlace
Palabras
de
enlace
que
proposiciones
atmicas
para
proposiciones moleculares.
Trmino
AND
OR
NOT
IF

Significado
"Y"
"O"
"No"
"Si.. entonces"

Smbolo
&
V

Simbolizacin de
proposiciones
Uso de variables para representar
proposiones.
P = "Se cerr el circuito"
Q = "Oper la marcha"

unen
formar

Lgica de Predicados

Ing. Bruno Lpez Takeyas

P & Q = "Se cerr el circuito y oper la

marcha"
Q = "No oper la marcha"
Palabra
Prop.
Simbologa Nombre
de
Molecular
enlace
Conjuncin
Y
PyQ
P&Q
Disjuncin
O
PoQ
PVQ
Negacin
No
No Q
Q
Condicional
Si...
Si P
Q
P
entonces
Entonces
Q

Jerarqua de aplicacin
Menor
jerarqua
&,V

Mayor
jerarqua

Lgica de Predicados

Ing. Bruno Lpez Takeyas

Ejemplos:

(P & Q)
R
P
(Q V R)

P&Q
R
P
QVR

(P

Disjuncin entre una

condicional y una
proposicin
Condicional entre
una proposicin y
una disjuncin

Q) V R
QVR

Lgica de Predicados

Ing. Bruno Lpez Takeyas

Reglas de inferencia
Modus Ponendo Ponens
P
Q
P V R
S & Q
P
P V R
Q
S & Q
Modus Tollendo Tollens

P
(Q & R)
Q&R

Modus Tollendo Ponens

PVQ
P

P V (S

(S

& Q)

& Q)

Lgica de Predicados

Ing. Bruno Lpez Takeyas

Doble negacin
P

Regla de adjuncin Regla de Simplific.

P
Q
P&Q

P&Q
P

Ley de adicin
P

S V Q

PVQ

(S V Q) V T

Ley de simplificacin disyuntiva

PVP
P

Lgica de Predicados

Ing. Bruno Lpez Takeyas

Ley del silogismo hipottico

P
Q

Q
R

(A & B
Z)
(T & Y)
Q

(A & B

(T & Y)

Z)

Ley del silogismo disyuntivo

PVQ
R
P
S
Q

(A & B) V (F & W)
(L V H)
(A & B)
( J & D)
(F & W)

RVS

(L V H) V (J & D)

Leyes de Morgan
P&Q

A V B

(P V Q)

(A & B)

Reglas de operacin
1.- Cambiar & por V, o viceversa
2.- Negar cada proposicin
3.- Negar la proposicin completa

Lgica de Predicados

Ing. Bruno Lpez Takeyas

Ley de las proposiciones bicondicionales

P
P
Q

Q
Q
P

(P

Q) & (Q

Ley de Contraposicin
P
Q

P)

Lgica de Predicados
Modus Ponendo Ponens (PP)
P
P
Q

Ley de Adicin (LA)

P
P V Q

Modus Tollendo Tollens (TT)

P
Q
P

Ing. Bruno Lpez Takeyas

Ley de Simplificacin Disyuntiva

(SD)
P V P
P

Modus Tollendo Ponens (TP)

P V Q
P
Q

Ley del Silogismo Hipottico

(HS)
P
Q
P

Q
R
R

Doble Negacin (DN)

Ley del Silogismo Disyuntivo
(DS)

P
P

Regla de Adjuncin (ADJ)

P V Q
P
R
Q
S
R V S

P
Q
P&Q

Leyes de Morgan
(LM)

Regla de Simplific. (S)

P & Q
(P V Q)

P &Q
P
Regla de Contraposicin (C)
P

Ley de las Proposiciones

Bicondicionales
(BI)
P

Q
P

Lgica de Predicados

Ing. Bruno Lpez Takeyas

Deduccin proposicional
Demostrar que un razonamiento es
vlido
1.- Lneas de demostracin numeradas
(premisas o deducciones).
2.- Cada lnea debe ser justificada por
una lnea de inferencia.
3.- Indicar la informacin utilizada en
cada regla.
1) S
2) S
3)T

4) T
5) R

T
R

P
P
P
PP(1,2)
PP(3,4)

Lgica de Predicados

Ing. Bruno Lpez Takeyas

Demostracin condicional
P
R

Q
Q

1) P
2) R

Q
Q

?
P
P

P
3) R
PP(2,3)
4) Q
TT(1,4)
5) P
P CP(3,5)
6)R

Premisa
incluida

Lgica de Predicados

Ing. Bruno Lpez Takeyas

Demostracin indirecta
Demostrar de un razonamiento por
medio de una contradiccin o
reduccin al absurdo (Ab).
Si
se
puede
deducir
una
contradiccin de un conjunto de
premisas y de la negacin de S,
entonces S puede deducirse del
conjunto de premisas solo.
a) Introducir la negacin de la conclusin
como premisa.
b) Deducir una contradiccin.
c) Establecer la conclusin como una
inferencia lgica.

Contradiccin :
R&R

R es inconsistente

Lgica de Predicados

Ing. Bruno Lpez Takeyas

Ejemplo: Demostrar P
1) Q V R
R
2) P
3) Q
4)
5)
6)
7)
8) P
9) P

P
P
P

R
Q
Q & Q
Q & Q

Ejercicio: Demostrar

1)
2)
3)
4)

M&N
R V S
S
N

P
PP(2,4)
TP(1,5)
A(3,6)
CP(4,7)
Ab(8)

M
P
P
P
P

Lgica de Predicados

Ing. Bruno Lpez Takeyas

Valores de certeza y tautologa

P
0
0
1
1

Q P&Q PVQ P P
0
0
0
1
1
0
1
1
0
0
1
0
1
1
1
0

Q P
1
1
0
1

Q
1
0
0
1

Tautologa
Proposicin molecular que SIEMPRE es
cierta, independientemente de los valores
de certeza de las proposiciones atmicas
que la componen.
Ejemplo:
P V P es una tautologa
P
0
1

P
1
0

P V P
1
1

Lgica de Predicados

Ing. Bruno Lpez Takeyas

Implicacin tautolgica
Una proposicin P se dice que implica
tautolgicamente una proposicin Q si y
solo si la condicional es una tautologa.
Premisas

Conclusiones = Tautologa

el razonamiento es vlido.
1) Q V R
R
2) P
3) Q

P
P
P

P
Es tautologa si ...
[(Q V R ) & (P
siempre es cierta.

R) & Q]