Equivalencias Lgicas implicacin

1. +

2.

3. +

4.

5.

6. ( ) ( ) ( )

7. ( ) ( ) ( + )

8. ( ) + ( ) ( + )

9. ( ) + ( ) ( )

Equivalencias lgicas doble implicacin

1. ( ) ^ ( )

2.

3. ( ) + ( )

4.
 Propiedades de un lgebra de Boole
Propiedad Nombre de la Propiedad

= Doble complemento

+ =
Idempotencia
=
+0=
Elemento neutro
1=
+1=1
Acotacin
0=0
+ =+
Conmutativa
=
+ ( + ) = ( + ) +
Asociativa
() = ()
+ = ( + )( + )
Distributiva
( + ) = +

() = +
De Morgan
( + ) =
+ =
Absorcin
( + ) =
+ =1 Inverso para el uno

=0 Inverso para el cero

 Reglas de inferencia
Regla Nombre

Modus Ponens

Modus Tollens

Conjuncin
^
^
Simplificacin Conjuntiva


Silogismo Hipottico


Silogismo Disyuntivo

Amplificacin Disyuntiva


Resolucin

Si
Reciproca
Contrarecproca
Inversa
Evidencia No. ______________

Use Reglas de Inferencia para demostrar el argumento.

( ^)
( )
^

( ) ( ^ )

( ^ ) ( )
(^ )