logica_propriedades
TRANSCRIPT
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