reglas de reemplazo.pptx

16
Reglas de Reemplazo Es una expresión equivalente a una proposición que originalmente no tienen equivalente por alguna regla de inferencia, esta nueva proposición lógica es equivalente a la original. .

Upload: ylario-de-jesus-rivera

Post on 09-Jul-2016

215 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Reglas de Reemplazo.pptx

Reglas de ReemplazoEs una expresión equivalente a una proposición que originalmente

no tienen equivalente por alguna regla de inferencia, esta nueva proposición lógica es equivalente a la original.

.

Page 2: Reglas de Reemplazo.pptx

Tipos de Reemplazos

• Implicación Lógica

• Equivalencia Lógica

Page 3: Reglas de Reemplazo.pptx

Reglas de reemplazo más comunes

• Ley de De Morgan• Condicional• Conmutación• Asociación• Absorción• Distribución• Doble negación• Contra reciproca• Equivalencia material• Implicación material• Exportación • Tautología

Page 4: Reglas de Reemplazo.pptx

Ley De Morgan•Negación de la conjunción

•Negación de la disyunción

Page 5: Reglas de Reemplazo.pptx

Regla condicional

• P q ¬p v q• P q ¬q ¬p• P q ¬(p ^ ¬q)

Page 6: Reglas de Reemplazo.pptx

Regla de conmutación

P v ¬q = ¬q v p 

Page 7: Reglas de Reemplazo.pptx

Regla de asociación

• ( p ∧ q ) ∧ r ⇔ p ∧ ( q ∧ r )

• ( p ∨ q ) ∨ r ⇔ p ∨ ( q ∨ r )

Page 8: Reglas de Reemplazo.pptx

Regla de Absorción

• P ^ (p v q) p • P v (p ^ q) p• P ^ (¬p v ¬q) (p ^ q)• P v ( ¬p^ ¬q) (p v q)

Page 9: Reglas de Reemplazo.pptx

Regla de Distribución

• distribución de la conjunción. p ∨ (q ∧ r) ⇔ (p ∨ q) ∧ (p ∨ r)

• distribución de la disyunción. p ^ (q v r ) ⇔ (p ^ q) ∨ (p ^ r)

Page 10: Reglas de Reemplazo.pptx

Doble Negación

• Introducción doble negación p ¬¬p

• Eliminación de la doble negación ¬¬p p

Page 11: Reglas de Reemplazo.pptx

Regla Contra reciproca

Page 12: Reglas de Reemplazo.pptx

Equivalencia material

P q (p ^ q ) v (¬p ^ ¬q)

(p q) (p q) ^ (q q)

Page 13: Reglas de Reemplazo.pptx

Regla implicación material

¬ p ¬q = ¬¬p v ¬q

Page 14: Reglas de Reemplazo.pptx

Regla de exportación

Page 15: Reglas de Reemplazo.pptx

Tautología

•Idempotencia de la conjunción

•Idempotencia de la disyunción

Page 16: Reglas de Reemplazo.pptx

Ejemplo practico

1. P v (q ^ r)

2. P v q s

Δ ( P v S)