TABLA DE EQUIVALENCIAS LGICAS

Conmutatividad de la conjuncin y la

disyuncin.

( ) ( )

( ) ( )

Asociatividad de la conjuncin y la disyuncin. [( ) ] [ ( )]

[( ) ] [ ( )]

Distributividad de respecto de y de

respecto de .

[ ( )] [( ) ( )]

[ ( )] [( ) ( )]

Leyes de De Morgan. ( )

( )

Doble negacin.

Implicacin ( )

Contrarrecproca.

Idempotencia de la Conjuncin y la Disyuncin

Leyes de Dominacin

Leyes de Identidad

Complemento

Absorcin ( )

( )

Reduccin al Absurdo ( ) [(~) ]

Exportacin [ ( )] [( ) ]

Disyuncin Exclusiva ( ) ( )

Equivalencia del Bicondicional ( ) ( )