Upload
becky-benitez
View
9
Download
0
Embed Size (px)
DESCRIPTION
Recopilacion de utiles equivalencias logicas del algebra proposicional
Citation preview
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 ( ) ( )