LGICA FORMAL - Implicaes e Equivalncias Lgicas

1) A A

Lei da Dupla Negao

2) A A A
A A A

Leis da Idempotncia

3) A B B A
A B B A

Leis da Comutatividade

4) A B C A B C
A B C A B C

Leis da Associatividade

5)A B A B
A B A B

Leis de De Morgan

6) A B C A B A C Leis Distributivas
A B C A B A C
7) A A B A Leis de Absoro
A A B A
A B B A B
A B B A B
8) T A A
TA T

CA C
C A A

(T tautologia; C contradio)

9) A B B A (Contra positivo)
A B A B
Eliminao da Condicional
A B A B
10)A B A B A B Eliminao da Bicondicional
A B A B B A
11) (A A) C
(A A) T (T tautologia; C contradio)