Lgica Proposicional

Adaptado de Callan, R. Artificial Intelligence

Inteligencia Artificial
Luis Villaseor Pineda
Tarea de la lgica
Determinar la falsedad o verdad de una premisa es
tarea de la ciencia en general

El lgico no est interesado en la verdad o falsedad

de las proposiciones sino en las relaciones lgicas
entre ellas, es decir, la validez de los argumentos en
que pueden aparecer.

La lgica nos da los elementos para afirmar sobre la

validez de un argumento
Lgica proposicional
Un argumento con premisas A1, An y conclusin B
es lgicamente vlida cuando

(A1, An) B

Es una tautologa, de lo contrario el argumento es

invlido.
Lgica proposicional
Cada proposicin es representada
por una letra, tradicionalmente p,
q, r,
Tenemos conectores lgicos:
y (), o (), no (), implicacin ()
Definidos a travs de una tabla de verdad
pq
Usaremos las letras maysculas A,
B, C, para representar
expresiones lgicas
Algunas equivalencias
A A F Contradiccin
A A T Tautologa
A A Doble negacin
A BB A Conmutatividad
A BB A Conmutatividad
A (B C) (A B) (A C) Distributividad
A (B C) (A B) (A C) Distributividad
A (A B) A Absorcin
A (A B) A Absorcin
Validez de un argumento
Tenemos las siguientes premisas y conclusin:
1. pq
2. p
3. q

El argumento correspondiente puede representarse

as:
((p q) p ) q
Probando un argumento
Usamos tablas de verdad para probar que una conclusin
sigue lgicamente de sus premisas:
((p q) p ) q
Reglas de deduccin
Sin embargo, para problemas grandes es
prcticamente imposible usar tablas de verdad.
Una alternativa es utilizar un marco de razonamiento
para alcanzar la prueba
Reglas de deduccin
Especifican que es permitido a cada paso de la prueba
Cada paso consiste de la derivacin de una nueva expresin a
partir de las existentes
Reglas de deduccin
Copiar reglas de deduccin
Ejemplo
Demostrar que r puede derivarse de las siguientes suposiciones:

1. (p s) q
2. p
3. s
4. q r

Podemos proceder como sigue:

5. (p s) a partir de las suposiciones 2 y 3 y la introduccin de

6. q de la suposicin 1 y el paso 5, usando modus ponens
7. r del paso 6 y la supocisin 4, usando modus ponens
Ejemplo
Demostrar que r puede derivarse de las siguientes suposiciones:

1. (p s) q
2. p
3. s
4. q r
 Sintaxis y Semntica
La lgica nos da elementos para manipular los smbolos (sintaxis)
sin importar su significado (semntica).