8/17/2019 Ley de Morgan.docx

1/2

Reglas de Reemplazo

Es una expresión equivalente a una proposición que originalmente no tienenequivalente por alguna regla de inferencia, esta nueva proposición lógica esequivalente a la original.

Se pueden presentar 2 tipos de reemplazos, una que llevan a los siguiente:Implicación lógica: implica tautología o contradicción y se expresa con el

símolo !"

Equivalencia lógica: muestra que son equivalente # $ % mostrando el mismo

valor de verdad, se representa por el símolo

&onde ' ' es un símolo meta lógico que representa 'puede ser reemplazadoen una demostración con.'

Ley de Morgan 

Regla Condicional# q (p v q# q (q (p# q ()p * (q+

Ley de conmutaciónP V ¬q = ¬q V p

Ley de absorcion# * )p v q+ p# v )p * q+ p# * )(p v (q+ )p * q+# v )(p * (q+ )p v q+

ley de distribución:

 p v (q ^ r ) ⇔   (p v q ) ^ ( p v r  )

 p ^  (q v r  ) ⇔(p ^ q) v ( p ^r  )

Doble Negación

P ¬¬P

  ¬¬P P

8/17/2019 Ley de Morgan.docx

2/2

Regla de Contra reciproca

Equivalencia material# q )p * q + v )(p * (q+)p q+ )p q+ * )q p+ 

Regla material

( p (q ! ((p v (q

Regla de exportación

autolog!a "regla de in#erencia$

 

Eemplo practico:

-. # v )q * r+2. # v q s

  % " & v '$

. )p v q+ * )# v r+ &IS/0I13I45 )-+

6. # v q SI7#8I9I3$3I45 SI7# )+

;. S 7# )2 , 6+