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 Semntica

Sistema 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 Proposiciones Moleculares
Simples (sin trminos de enlace) Unin de prop. Atmicas con trminos de enlace

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" unen formar

Smbolo & V

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

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 P Q) V R QVR

P&Q R P QVR Disjuncin entre una condicional y una proposicin Condicional entre una proposicin y una disjuncin

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

Q P

P (Q & R) Q&R

Modus Tollendo Ponens PVQ P Q

P V (S
P

& Q)

(S

& Q)

Lgica de Predicados

Ing. Bruno Lpez Takeyas

Doble negacin P

P
P

Regla de adjuncin Regla de Simplific. P Q P&Q P&Q P

Ley de adicin P PVQ S V Q (S V Q) V T

Ley de simplificacin disyuntiva PVP P

Lgica de Predicados

Ing. Bruno Lpez Takeyas

Ley del silogismo hipottico P Q P Q R R (A & B Z) (T & Y) Q (A & B Z) Q (T & Y)

Ley del silogismo disyuntivo PVQ R P S Q RVS (A & B) V (F & W) (L V H) (A & B) ( J & D) (F & W) (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 (P Q Q) & (Q P)

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

Ing. Bruno Lpez Takeyas

Ley de Adicin (LA) P P V Q

Modus Tollendo Tollens (TT) P Q P Q

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) P P

Ley del Silogismo Disyuntivo (DS) P V Q P R Q S R V S

Regla de Adjuncin (ADJ) P Q P&Q

Leyes de Morgan (LM) P & Q (P V Q)

Regla de Simplific. (S) P &Q P

Ley de las Proposiciones Bicondicionales (BI) P P

Q

Q 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

T
R

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

4) T
5) R

Lgica de Predicados

Ing. Bruno Lpez Takeyas

Demostracin condicional
P R R Q Q

?
P P Premisa incluida

1) P 2) R

Q Q

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

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 P P PP(2,4) TP(1,5) A(3,6) CP(4,7) Ab(8)

R Q
Q & Q Q & Q

Ejercicio: Demostrar

M
P P P P

1) 2) 3) 4)

M&N R V S S N

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 1 0 0 1 Q

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]