Você está na página 1de 5

RACIOCÍNIO LÓGICO

Equivalências Lógicas
Produção: Equipe Pedagógica Gran Cursos Online

EQUIVALÊNCIAS LÓGICAS

Proposições logicamente equivalentes

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

Exemplificando com a matemática:

2 x (3 + 4) = (2 x 3) + (2 x 4)
2x7=6+8
14 = 14

Produziu o mesmo resultado. Na lógica, segue o mesmo raciocínio:

A ∧ (B ∨ C) ⇔ (A ∧ B) ∨ (A ∧ C)

Basta observar a coluna acima.

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

Essa é a lei principal.


ANOTAÇÕES

2
www.grancursosonline.com.br
RACIOCÍNIO LÓGICO
Equivalências Lógicas
Produção: Equipe Pedagógica Gran Cursos Online

(A → B ⇔ ~ A ∨ B) [nega o primeiro e mantém o segundo]

(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

Se Carina não é feia, então Ana não é bela.

Foi utilizada a contrapositiva: ¬ CF → ¬ AB

2. (CESPE) As proposições A → B e (~ B) → (~ A) têm a mesma tabela verdade.

Comentário
Sim, pois são equivalentes. Trata-se de contra-positiva.

3. (ESAF) Dizer que "Pedro não é pedreiro ou Paulo é paulista" é, do ponto de


vista lógico, o mesmo que dizer que:
a. se Pedro é pedreiro, então Paulo é paulista.
b. se Paulo é paulista, então Pedro é pedreiro.
c. se Pedro não é pedreiro, então Paulo é paulista.
d. se Pedro é pedreiro, então Paulo não é paulista.
e. se Pedro não é pedreiro, então Paulo não é paulista.

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

Se Pedro é pedreiro, então Paulo é paulista.

Foi negado o primeiro e mantido o segundo.

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

Você também pode gostar