Escolar Documentos
Profissional Documentos
Cultura Documentos
Equivalências Lógicas
Produção: Equipe Pedagógica Gran Cursos Online
EQUIVALÊNCIAS LÓGICAS
Duas proposições são ditas equivalentes quando são formadas pelas mesmas
proposições simples e os resultados das tabelas-verdade são idênticos.
Símbolo de equivalência: ⇔
Veja o exemplo abaixo:
A→B⇔¬A∨B
O que é igual é equivalente, mas nem tudo que é equivalente é igual. Observe:
2 6
=
5 15
As duas frações acima são iguais? As duas frações são equivalentes (multi-
plicam por três).
A→B⇔¬A∨B
V V
F = F
V V
V V
Lei distributiva
a) A ∧ (B ∨ C) ⇔ (A ∧ B) ∨ (A ∧ C)
ANOTAÇÕES
1
www.grancursosonline.com.br
RACIOCÍNIO LÓGICO
Equivalências Lógicas
Produção: Equipe Pedagógica Gran Cursos Online
2 x (3 + 4) = (2 x 3) + (2 x 4)
2x7=6+8
14 = 14
A ∧ (B ∨ C) ⇔ (A ∧ B) ∨ (A ∧ C)
Atenção!
A lei distributiva possui suas proposições com os conectivos “e” e “ou”.
b) A ∨ (B ∧ C) ⇔ (A ∨ B) ∧ (A ∨ C)
A B C B∧C A ∨ (B ∧ C) A∨B A∨C (A ∨ B) ∧ (A ∨ C)
V V V V V V V V
V V F F V V V V
V F V F V V V V
V F F F V V V V
F V V V V V V V
F V F F F V F F
F F V F F F V F
F F F F F F F F
Veja:
A ∧ (B ∨ C) ⇔ (A ∧ B) ∨ (A ∧ C)
A ∨ (B ∧ C) ⇔ (A ∨ B) ∧ (A ∨ C)
Lei condicional
2
www.grancursosonline.com.br
RACIOCÍNIO LÓGICO
Equivalências Lógicas
Produção: Equipe Pedagógica Gran Cursos Online
(A → B ⇔ ~ B → ~ A) [essa é a contrapositiva]
A→B
¬B→¬A
¬A∨B
Direto do concurso
1. (ESAF/TÉCNICO/2006) Uma sentença logicamente equivalente a “Se Ana é
bela, então Carina é feia” é:
a. Se Ana não é bela, então Carina não é feia.
b. Ana é bela ou Carina não é feia.
c. Se Carina é feia, Ana é bela.
d. Ana é bela ou Carina é feia.
e. Se Carina não é feia, então Ana não é bela.
ANOTAÇÕES
3
www.grancursosonline.com.br
RACIOCÍNIO LÓGICO
Equivalências Lógicas
Produção: Equipe Pedagógica Gran Cursos Online
Comentário
Se Ana é bela, então Carina é feia.
AB → CF
¬ CF → ¬ AB
¬ AB ∨ CF
Comentário
Sim, pois são equivalentes. Trata-se de contra-positiva.
Comentário
Pedro não é pedreiro ou Paulo é paulista.
A→B
¬B→¬A
¬A∨B
ANOTAÇÕES
4
www.grancursosonline.com.br
RACIOCÍNIO LÓGICO
Equivalências Lógicas
Produção: Equipe Pedagógica Gran Cursos Online
GABARITO
1. e
2. C
3. a
Este material foi elaborado pela equipe pedagógica do Gran Cursos Online, de acordo com a
aula preparada e ministrada pelo professor Josimar Padilha.
ANOTAÇÕES
5
www.grancursosonline.com.br