7/23/2019 LOGICA_PROPRIEDADES

http://slidepdf.com/reader/full/logicapropriedades 1/1

   

o)contradiçãéCa;tautologié(T TA)(A 

CA)(A)11

ABBABA 

nalBicondiciodaEliminação BABABA)10

 BABA 

lCondicionadaEliminação BABA 

 positivo)(Contra ABBA)9 

AAC TAT 

o)contradiçãéCa;tautologié(T CACAAT)8

BABBA 

BABBA 

ABAA AbsorçãodeLeis ABAA)7

CABACBA 

vasDistributiLeis CABACBA)6

BABA 

MorganDedeLeis BABA)5

CBACBA 

idadeAssociativdaLeis CBACBA4)

ABBA 

dadeComutatividaLeis ABBA3)

AAA 

iaIdempotêncdaLeis AAA2)

 NegaçãoDupladaLei AA1)

LógicasiasEquivalêncesImplicaçõe-FORMALLÓGICA