Logica de Predicados y Proposicional
-
Upload
d-andres-cordova -
Category
Documents
-
view
235 -
download
5
description
Transcript of Logica de Predicados y Proposicional
![Page 1: Logica de Predicados y Proposicional](https://reader033.fdocument.pub/reader033/viewer/2022052403/568c384a1a28ab02359e71fb/html5/thumbnails/1.jpg)
Lógica Proposicional
PONTIFICIA UNIVERSIDAD CATOLICA DEL ECUADOR SEDE
AMBATOEIS 1 “A”
ANDRÉS CÓRDOVAEDISON LOPEZ
CRISTINA CADENA
![Page 2: Logica de Predicados y Proposicional](https://reader033.fdocument.pub/reader033/viewer/2022052403/568c384a1a28ab02359e71fb/html5/thumbnails/2.jpg)
Objetivo de la lógica Determinar la falsedad o verdad de una premisa, es
tarea de la ciencia en general
El lógico no está interesado en la verdad o falsedad de las proposiciones sino en las relaciones lógicas entre ellas, es decir, la validez de los argumentos en que pueden aparecer.
La lógica nos da los elementos para afirmar sobre la validez de un argumento
![Page 3: Logica de Predicados y Proposicional](https://reader033.fdocument.pub/reader033/viewer/2022052403/568c384a1a28ab02359e71fb/html5/thumbnails/3.jpg)
Lógica proposicional Un argumento con premisas A1, … An y conclusión B
es lógicamente válida cuando
(A1, … An) B
Es una tautología, de lo contrario el argumento es inválido.
![Page 4: Logica de Predicados y Proposicional](https://reader033.fdocument.pub/reader033/viewer/2022052403/568c384a1a28ab02359e71fb/html5/thumbnails/4.jpg)
Lógica proposicional Cada proposición es representada
por una letra, tradicionalmente p, q, r, …
Tenemos conectores lógicos: y (), o (), no (), implicación () Definidos a través de una tabla de verdad
p q
Usaremos las letras mayúsculas A, B, C,… para representar expresiones lógicas
![Page 5: Logica de Predicados y Proposicional](https://reader033.fdocument.pub/reader033/viewer/2022052403/568c384a1a28ab02359e71fb/html5/thumbnails/5.jpg)
Algunas equivalencias A A F Contradicción A A T Tautología A A Doble negación A B B A Conmutatividad A B B A Conmutatividad A (B C) (A B) (A C) Distributividad A (B C) (A B) (A C) Distributividad A (A B) A Absorción A (A B) A Absorción
![Page 6: Logica de Predicados y Proposicional](https://reader033.fdocument.pub/reader033/viewer/2022052403/568c384a1a28ab02359e71fb/html5/thumbnails/6.jpg)
Validez de un argumento Tenemos las siguientes premisas y conclusión:
1. p q2. p3. q
El argumento correspondiente puede representarse así:
((p q) p ) q
![Page 7: Logica de Predicados y Proposicional](https://reader033.fdocument.pub/reader033/viewer/2022052403/568c384a1a28ab02359e71fb/html5/thumbnails/7.jpg)
Probando un argumento Usamos tablas de verdad para probar que una conclusión
sigue lógicamente de sus premisas:((p q) p ) q
![Page 8: Logica de Predicados y Proposicional](https://reader033.fdocument.pub/reader033/viewer/2022052403/568c384a1a28ab02359e71fb/html5/thumbnails/8.jpg)
Reglas de deducción Sin embargo, para problemas grandes es
prácticamente imposible usar tablas de verdad. Una alternativa es utilizar un marco de razonamiento
para alcanzar la prueba Reglas de deducción Especifican que es permitido a cada paso de la prueba Cada paso consiste de la derivación de una nueva expresión a
partir de las existentes
![Page 9: Logica de Predicados y Proposicional](https://reader033.fdocument.pub/reader033/viewer/2022052403/568c384a1a28ab02359e71fb/html5/thumbnails/9.jpg)
Reglas de deducción Copiar reglas de deducción
![Page 10: Logica de Predicados y Proposicional](https://reader033.fdocument.pub/reader033/viewer/2022052403/568c384a1a28ab02359e71fb/html5/thumbnails/10.jpg)
Ejemplo
Demostrar que r puede derivarse de las siguientes suposiciones:
1. (p s) q2. p3. s4. q r
Podemos proceder como sigue:
5. (p s) a partir de las suposiciones 2 y 3 y la introducción de 6. q de la suposición 1 y el paso 5, usando modus ponens7. r del paso 6 y la supocisión 4, usando modus ponens
![Page 11: Logica de Predicados y Proposicional](https://reader033.fdocument.pub/reader033/viewer/2022052403/568c384a1a28ab02359e71fb/html5/thumbnails/11.jpg)
EjemploDemostrar que r puede derivarse de las siguientes suposiciones:
1. (p s) q2. p3. s4. q r
![Page 12: Logica de Predicados y Proposicional](https://reader033.fdocument.pub/reader033/viewer/2022052403/568c384a1a28ab02359e71fb/html5/thumbnails/12.jpg)
Sintaxis y Semántica La lógica nos da elementos para manipular los símbolos (sintaxis)
sin importar su significado (semántica).