É apresentada a versão das leis usada antes 12.

Leis de Morgan
de 2021 (para compreensão da numeração das
leis em exercícios resolvidos dos testes e ¬(p ∨ q) ⇔ ¬p ∧ ¬q
exames de anos anteriores. ¬(p ∧ q) ⇔ ¬p ∨ ¬q

13. Leis de Condicional 1

Leis de Álgebra de Lógica
p → q ⇔ ¬p ∨ q
Sejam p, q, r, s proposições arbitrárias e T, C a tauto-
p → q ⇔ ¬(p ∧ ¬q)
logia e a contradição, respectivamente.

1. Lei de Adição
14. Lei de Bicondicional
p ⇒ p∨q
p ↔ q ⇔ (p → q) ∧ (q → p)
2. Leis de Simplicação
15. Lei contrapositiva
p ∧ q ⇒ p, p∧q ⇒ q
p → q ⇔ ¬q → ¬p
3. Silogismo disjuntivo
16. Redução ao absurdo
(p ∨ q) ∧ ¬p ⇒ q
p → q ⇔ (p ∧ ¬q) → C
4. Dupla negação 17. Leis transitivas
¬¬p ⇔ p (p → q) ∧ (q → r) ⇒ (p → r)
(p ↔ q) ∧ (q ↔ r) ⇒ (p ↔ r)
5. Leis de Idempotência
p ∨ p ⇔ p, p∧p ⇔ p 18. Leis de Condicional 2
(p → r) ∧ (q → r) ⇔ (p ∨ q) → r
6. Leis de Identidade
(p → q) ∧ (p → r) ⇔ p → (q ∧ r)
p ∨ T ⇔ T, p ∨ C ⇔ p,
p ∧ T ⇔ p, p∧C ⇔ C
19. Dilemas construtivos
7. Leis de Complemento
(p → q) ∧ (r → s) ⇒ (p ∨ r) → (q ∨ s)
p ∨ ¬p ⇔ T, p ∧ ¬p ⇔ C
(p → q) ∧ (r → s) ⇒ (p ∧ r) → (q ∧ s)
¬T ⇔ C, ¬C ⇔ T

8. Leis de Tautologia e de Contradição 20. Dilemas destrutivos

(p → q) ∧ (r → s) ⇒ (¬q ∨ ¬s) → (¬p ∨ ¬r)
p ⇒ T, C ⇒ P
(p → q) ∧ (r → s) ⇒ (¬q ∧ ¬s) → (¬p ∧ ¬r)
9. Leis comutativas
21. Modus Ponens
p∨q ⇔ q∨p
(p → q) ∧ p ⇒ q
p∧q ⇔ q∧p
p↔q ⇔ q↔p 22. Modus Tollens
10. Leis associativas (p → q) ∧ ¬q ⇒ ¬p

(p ∨ q) ∨ r ⇔ p ∨ (q ∨ r) 23. Lei de Exportação

(p ∧ q) ∧ r ⇔ p ∧ (q ∧ r) (p ∧ q) → r ⇔ p → (q → r)

11. Leis distributivas 24. Leis de Absorção

p ∧ (q ∨ r) ⇔ (p ∧ q) ∨ (p ∧ r) p ∨ (p ∧ q) ⇔ p, p ∧ (p ∨ q) ⇔ p
p ∨ (q ∧ r) ⇔ (p ∨ q) ∧ (p ∨ r)
 Leis de Álgebra de conjuntos
Suponhamos que todos os conjuntos são subconjuntos

de um conjunto universo U.
1. Leis comutativas
A ∪ B = B ∪ A,
A∩B =B∩A
2. Leis associativas
(A ∪ B) ∪ C = A ∪ (B ∪ C),
(A ∩ B) ∩ C = A ∩ (B ∩ C)
3. Leis distributivas
A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C),
A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)
4. A ∪ A = A, A∩A=A
5. A∪∅=A
A∪U =U
A∩∅=∅
A∩U =A
6. (Ac )c = A
7. A ∪ Ac = U, A ∩ Ac = ∅
8. U c = ∅, ∅c = U
9. Leis de Morgan
(A ∪ B)c = Ac ∩ B c
(A ∩ B)c = Ac ∪ B c
10. A r B = A ∩ Bc
11. A 4 B = (A ∪ B) r (A ∩ B)
12. A r B = A r (A ∩ B) = (A ∪ B) r B
13. (A ∩ B) r C = A ∩ (B r C)
14. A ∪ B = A ∪ (B r A) = (A r B) ∪ B =
(A ∩ B) ∪ (A 4 B)
15.
∀(i ∈ I) Ai ⊂ B ⇔ ∪ Ai ⊂ B,
i∈I
B ⊂ ∩ Ai ⇔ ∀(i ∈ I) B ⊂ Ai .
i∈I

3∗ . Leis distributivas generalizadas

 
B∪ ∩ Ai = ∩ (B ∪ Ai )
i∈I i∈I
 
B∩ ∪ Ai = ∪ (B ∩ Ai )
i∈I i∈I

9∗
. Leis de Morgan generalizadas
 c
∪ Ai = ∩ Aci
i∈I i∈I
 c
∩ Ai = ∪ Aci
i∈I i∈I