Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Logica Predicados
Logica Predicados
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
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
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
Smbolo & V
Simbolizacin de proposiciones
Uso de variables para representar proposiones. P = "Se cerr el circuito" Q = "Oper la marcha"
Lgica de Predicados
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
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
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
P V (S
P
& Q)
(S
& Q)
Lgica de Predicados
Doble negacin P
P
P
Lgica de Predicados
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)
(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
Lgica de Predicados
Modus Ponendo Ponens (PP) P P Q Q
Q Q P
Lgica de Predicados
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
Demostracin condicional
P R R Q Q
?
P P Premisa incluida
1) P 2) R
Q Q
Lgica de Predicados
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
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
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
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]