Está en la página 1de 2

( [( (

Conjuncin ) ( ) ] [ ) ( ( ) ) ( ) (

)] )

Conmutativa Asociativa Idempotencia Distributivas

( [( (

Disyuncin ) ( ) ] [ ) ( ( ) ) ( ) ( Ley de absorcin ( ) ( )

)] )

Leyes de identidad ( ( (

Implicacin ) ( ) ( ) (

) ) )

Negacin Doble negacin o involutiva De Morgan Tercero Excluido Contradiccin Otras leyes ( ) ( ) ( ) ) ( ) ( )

( ( ( (

( ) )

) ( ( ) )

) )

( ( [(

Leyes del libro de la ESPOL ( ) ( ) ) ( ) [( ) ) ) ( ( ) ( ( ) ] [ ) ( [( ) ) ( [ ( ) ( ) ( )] )]

Contrapositiva o contrarecproca ] )] Exportacin Reduccin al absurdo Equivalencia

También podría gustarte