Leis de álgebra de lógica

Sejam p, q, r, s proposições arbitrárias e T, C a tau-

tologia e a contradição, respectivamente.

1. Lei de Adição 13. Leis de Absorção

p ⇒ p∨q p ∨ (p ∧ q) ⇔ p, p ∧ (p ∨ q) ⇔ p

2. Leis de Simplicação
p ∧ q ⇒ p,
3. Silogismo disjuntivo
(p ∨ q) ∧ ¬p ⇒ q
4. Dupla negação
¬¬p ⇔ p
5. Leis de Idempotência
14. Lei de Condicional 1a (expressão de → por ∨)
p∧q ⇒ q
p → q ⇔ ¬p ∨ q
15. Lei de Condicional 1b (expressão de → por ∧)
p → q ⇔ ¬(p ∧ ¬q)
16. Leis de Condicional 2
(p → r) ∧ (q → r) ⇔ (p ∨ q) → r
(p → q) ∧ (p → r) ⇔ p → (q ∧ r)

p ∨ p ⇔ p, p∧p ⇔ p 17. Lei de Bicondicional

6. Leis de Identidade p ↔ q ⇔ (p → q) ∧ (q → p)

p ∨ T ⇔ T, p ∨ C ⇔ p, 18. Lei contrapositiva

p ∧ T ⇔ p, p∧C ⇔ C
p → q ⇔ ¬q → ¬p
7. Leis de Complemento
19. Redução ao absurdo
p ∨ ¬p ⇔ T, p ∧ ¬p ⇔ C
¬T ⇔ C, ¬C ⇔ T p → q ⇔ (p ∧ ¬q) → C

8. Leis de Tautologia e de Contradição 20. Leis transitivas

p ⇒ T, C ⇒ P (p → q) ∧ (q → r) ⇒ p → r
(p ↔ q) ∧ (q ↔ r) ⇒ p ↔ r
9. Leis comutativas
21. Dilemas construtivos
p∨q ⇔ q∨p
p∧q ⇔ q∧p (p → q) ∧ (r → s) ⇒ (p ∨ r) → (q ∨ s)
p↔q ⇔ q↔p (p → q) ∧ (r → s) ⇒ (p ∧ r) → (q ∧ s)

10. Leis associativas 22. Dilemas destrutivos

(p ∨ q) ∨ r ⇔ p ∨ (q ∨ r) (p → q) ∧ (r → s) ⇒ (¬q ∨ ¬s) → (¬p ∨ ¬r)
(p ∧ q) ∧ r ⇔ p ∧ (q ∧ r) (p → q) ∧ (r → s) ⇒ (¬q ∧ ¬s) → (¬p ∧ ¬r)
(p ↔ q) ↔ r ⇔ p ↔ (q ↔ r)
23. Modus Ponens
11. Leis distributivas (p → q) ∧ p ⇒ q
p ∧ (q ∨ r) ⇔ (p ∧ q) ∨ (p ∧ r)
24. Modus Tollens
p ∨ (q ∧ r) ⇔ (p ∨ q) ∧ (p ∨ r)
(p → q) ∧ ¬q ⇒ ¬p
12. Leis de Morgan
25. Lei de Exportação
¬(p ∨ q) ⇔ ¬p ∧ ¬q
¬(p ∧ q) ⇔ ¬p ∨ ¬q (p ∧ q) → r ⇔ p → (q → r)
 Leis de álgebra de conjuntos
Suponhamos que todos os conjuntos são subconjun-

tos de um conjunto universo U.

1. Lei de Adição 13. Leis de Absorção

A⊂A∪B A ∪ (A ∩ B) = A, A ∩ (A ∪ B) = A

2. Leis de Simplicação
14. A r B = A ∩ Bc
A ∩ B ⊂ A, A∩B ⊂B
15. A 4 B = (A ∪ B) r (A ∩ B)
3. Silogismo disjuntivo para conjuntos
16. A r B = A r (A ∩ B) = (A ∪ B) r B
c
(A ∪ B) ∩ A ⊂ B
17. (A ∩ B) r C = A ∩ (B r C)
4. Duplo complemento 18. A ∪ B = A ∪ (B r A) = (A r B) ∪ B =
(A ∩ B) ∪ (A 4 B)
(Ac )c = A

5. Leis de Idempotência 19.

A ∪ A = A, A∩A=A ∀(i ∈ I) Ai ⊂ B ⇔ ∪ Ai ⊂ B,
i∈I
B ⊂ ∩ Ai ⇔ ∀(i ∈ I) B ⊂ Ai .
6. Leis de Identidade i∈I

A ∪ U = U, A ∪ ∅ = A, 11∗ . Leis distributivas generalizadas

A ∩ U = A, A ∩ ∅ = ∅  
B∪ ∩ Ai = ∩ (B ∪ Ai )
7. Leis de Complemento 
i∈I

i∈I

A ∪ Ac = U, A ∩ Ac = ∅ B∩ ∪ Ai = ∪ (B ∩ Ai )
i∈I i∈I
U c = ∅, ∅c = U
12 . Leis de Morgan generalizadas
∗

8. Leis de Universal e de Vazio  c

∪ Ai = ∩ Aci
i∈I i∈I
A ⊂ U, ∅⊂A  c
∩ Ai = ∪ Aci
9. Leis comutativas i∈I i∈I

A∪B =B∪A
A∩B =B∩A
A4B = B4A

10. Leis associativas

(A ∪ B) ∪ C = A ∪ (B ∪ C)
(A ∩ B) ∩ C = A ∩ (B ∩ C)
(A4B)4C = A4(B4C)

11. Leis distributivas

A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)
A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C)

12. Leis de Morgan

(A ∪ B)c = Ac ∩ B c
(A ∩ B)c = Ac ∪ B c