Professional Documents
Culture Documents
Curso 20002001
Universidad de Sevilla
RA 200001
Cc Ia
Demostraciones proposicionales
3.1
Ventajas: * simplicididad conceptual * facilidad de implementaci on Inconvenientes: * complejidad exponencial seg un las variables * variables irrelevantes para las consecuencias * no generalizables a primer orden
Ventajas: * demostraciones m as cortas que tablas de verdad * facilidad de comprender las demostraciones * generalizables a primer orden Inconvenientes: * Dicultad en encontrar la prueba
RA 200001
Cc Ia
Demostraciones proposicionales
3.2
Esquemas e instancias
x
RA 200001
Cc Ia
Demostraciones proposicionales
3.3
Reglas de inferencia
x
Regla del modus ponens: F G F G Premisas y conclusi on de la regla Instancias de la regla llueve mojado llueve mojado p (q r ) p qr mojado resbaladizo mojado resbaladizo (p q ) r pq r
u u
RA 200001
Cc Ia
Demostraciones proposicionales
3.4
P remisas |= Conclusion Ejemplos: Modus ponens (MP) F G F G Elim. de equiv. (EE1) F G F G Doble negaci on (DN) F F Modus tollens (MT) F G G F Elim. de equiv. (EE2) F G GF
RA 200001
Cc Ia
Demostraciones proposicionales
3.5
Demostraciones
x
Argumento: Si ayer fue lunes, hoy es martes. Si hoy es martes, ma nana ser a mi ercoles. Ayer fue lunes. Por tanto, ma nana ser a mi ercoles. Demostraci on: 1. ayer lunes hoy martes 2. hoy martes ma nana mi ercoles 3. ayer lunes 4. hoy martes 5. ma nana mi ercoles Premisa Premisa Premisa MP 1,3 MP 4,2
Argumento: Si sale cara, yo gano. Si sale cruz, t u no ganas. Sale cruz. Por tanto, yo gano Demostraci on: 1. cara gano 2. cruz ganas 3. cruz 4. cara cruz 5. ganas gano 6, ganas 7. gano ganas 8. gano 9. gano Premisa Premisa Premisa Premisa Premisa MP 2,3 EE2 5 MT 6,7 DN 8
RA 200001
Cc Ia
Demostraciones proposicionales
3.6
Esquemas de axiomas
x
Esquemas de axiomas
u u
Necesidad de axiomas Esquemas: II: F (G F ) DI: (F (G H )) ((F G) (F H )) RA: (F G) ((F G) G) EI1: (F G) (F G) EI2: (F G) (G F ) IE: (F G) ((G F ) (F G)) DD: (F G) (F G) DC: (F G) (F G)
Nombres: II: Introducci on de la implicaci on DI: Distribuci on de la implicaci on RA: Reducci on al absurdo EI1: Eliminaci on de la equivalencia 1 EI2: Eliminaci on de la equivalencia 2 IE: Introducci on de la equivalencia DD: Denici on de la disyunci on DC: Denici on de la conjunci on Validez de los esquemas de axiomas
RA 200001
Cc Ia
Demostraciones proposicionales
3.7
Demostraci on
x
Demostraci on
u
Denici on: F1, . . . , Fn es una demostraci on (o deducci on) de F a partir de S si Fn = F y para cada i {1, . . . , n} se verica una de las siguientes condiciones: 1. Fi es una premisa (i.e. Fi S ) 2. Fi es una instancia de un esquema axioma 3. Fi se obtiene por Modus Ponens a partir de dos anteriores.
u u
F es deducible a partir de S : S
Ejemplo: {p q, q r } p r 1. p q 2. q r 3. (q r ) (p (q r )) 4. p (q r ) 5. (p (q r )) ((p q ) (p r )) 6. (p q ) (p r ) 7. p r
Comentarios:
u u u
Adecuaci on: S
F = S |= F F
Completitud: S |= F = S
RA 200001
Cc Ia
Demostraciones proposicionales
3.8
Bibliograf a
x
(Una
Russell, S. y Norvig, P. Inteligencia articial (un enfoque moderno) (Prentice Hall Hispanoamericana, 1996)
u
RA 200001
Cc Ia
Demostraciones proposicionales
3.9