RACIOCÍNIO LÓGICO

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

EQUIVALÊNCIAS LÓGICAS II

Lei da dupla negação

Veja:

~ (~ A) ⇔ A

Demonstração: ~ (~ A) ⇔ A
A ~A ~ (~ A)
V F V
F V F

Lei de Morgan

Observe:

~ (A ∧ B) ⇔ (~ A) ∨ (~ B) / ~ (A ∨ B) ⇔ (~ A) ∧ (~ B)

Demonstração: ~ (A ∧ B) ⇔ (~ A) ∨ (~ B)

Demonstração: ~ (A ∨ B) ⇔ (~ A) ∧ (~ B) ANOTAÇÕES

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

Direto do concurso
1. (ESAF/AFC) Dizer que não é verdade que Pedro é pobre e Alberto é alto, é
logicamente equivalente a dizer que é verdade que:
a. Pedro não é pobre ou Alberto não é alto.
b. Pedro não é pobre e Alberto não é alto.
c. Pedro é pobre ou Alberto não é alto.
d. se Pedro não é pobre, então Alberto é alto.
e. e. se Pedro não é pobre, então Alberto não é alto.

Comentário
Pedro é pobre e Alberto é alto.

¬ (Pp ∧ Aa)
¬ Pp ∨ ¬ Aa

Pedro não é pobre ou Alberto não é alto.

2. (ESAF) A afirmação “Não é verdade que, se Pedro está em Roma, então

Paulo está em Paris” é logicamente equivalente a afirmação:
a. É verdade que “Pedro está em Roma e Paulo não está em Paris”.
b. Não é verdade que “Pedro está em Roma ou Paulo está não está em Paris”.
c. Não é verdade que “Pedro não está em Roma ou Paulo não está em Paris”.
d. Não é verdade que “Pedro está em Roma ou Paulo está em Paris”.

Comentário
Não é verdade que, se Pedro está em Roma, então Paulo está em Paris.

¬ (Pr → Pp) ⇔ Pr ∧ ¬Pp

F F
V V
F F
F F

Não é verdade que “Pedro está em Roma ou Paulo está em Paris”.

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

Lei bicondicional

Veja:

[(A → B) ∧ (B → A)] ⇔ [A ↔ B]

Demonstração: [(A → B) ∧ (B → A)] ⇔ [A ↔ B]

Lei comutativa

Como já visto ao estudarmos as tabelas-verdade, foi comentado que os

conectivos conjuntivo, disjuntivo, disjuntivo exclusivo e bicondicional possuem a
propriedade comutativa, isto é, ao trocarmos a ordem das proposições simples,
os resultados das tabelas-verdade permanecem idênticos.
Com relação ao conectivo condicional não ocorre o mesmo, uma vez que os
resultados de suas tabelas-verdade não serão os mesmos. Resumindo, o conec-
tivo não possui a propriedade comutativa.

Direto do concurso
1. (FCC/TRF) Se todos os nossos atos têm causa, então não há atos livres. Se
não há atos livres, então todos os nossos atos têm causa. Logo,
ANOTAÇÕES

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

a. alguns atos não têm causa se não há atos livres.

b. todos os nossos atos têm causa se e somente se há atos livres.
c. todos os nossos atos têm causa se e somente se não há atos livres.
d. todos os nossos atos não têm causa se e somente se não há atos livres.
e. alguns atos são livres se e somente se todos os nossos atos têm causa.

Comentário
Se todos os nossos atos têm causa, então não há atos livres. Se não há atos
livres, então todos os nossos atos têm causa.

(AC → ¬ AL) ∧ (¬ AL → AC) ⇔ AC ↔ ¬ AL

[(A → B) ∧ (B → A)] ⇔ [A ↔ B]

2. (CESPE) Considere a seguinte proposição: “Se Antônio resolver corretamen-

te esta prova, então ele passará no concurso”. Nessa situação, é correto
concluir que “Se Antônio não resolver corretamente esta prova, então ele não
passará no concurso”.

Comentário
Se Antônio resolver corretamente esta prova, então ele passará no concurso.

ARC → APC ⇔ ¬ ARC → ¬ APC

Não basta apenas negar.

3. (CESPE) Considere a seguinte proposição: “Alice não foi ao cinema ou Ber-

nardo foi jogar futebol”. Dessa proposição, é correto concluir que “Se Bernar-
do não foi jogar futebol, então Alice não foi ao cinema”.
ANOTAÇÕES

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

Comentário
Alice não foi ao cinema ou Bernardo foi jogar futebol.

¬A∨B⇔A→B

¬ B → ¬ A (CESPE concluiu isso)

São idênticos.

GABARITO
1. a
2. d
1. c
2. E
3. C

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