Você está na página 1de 5

RACIOCÍNIO LÓGICO

Equivalências Lógicas II

RACIOCÍNIO LÓGICO Equivalências Lógicas II Produção: Equipe Pedagógica Gran Cursos Online EQUIVALÊNCIAS LÓGICAS

Produção: Equipe Pedagógica Gran Cursos Online

II Produção: Equipe Pedagógica Gran Cursos Online EQUIVALÊNCIAS LÓGICAS II Lei da dupla negação Veja: ~

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

⇔ A A ~ A ~ (~ A) V F V F V F Lei de

Lei de Morgan

Observe:

~ (A B) (~ A)

(~ B)

/

~ (A B) (~ A)

(~ B)

Demonstração: ~ (A B) (~ A) (~ B)

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

Demonstração: ~ (A B) (~ A) (~ B)

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

ANOTAÇÕES

1
1

RACIOCÍNIO LÓGICO

Equivalências Lógicas II

RACIOCÍNIO LÓGICO Equivalências Lógicas II Produção: Equipe Pedagógica Gran Cursos Online 1. Direto do concurso

Produção: Equipe Pedagógica Gran Cursos Online

II Produção: Equipe Pedagógica Gran Cursos Online 1. Direto do concurso (ESAF/AFC) Dizer que não é
II Produção: Equipe Pedagógica Gran Cursos Online 1. Direto do concurso (ESAF/AFC) Dizer que não é

1.

II Produção: Equipe Pedagógica Gran Cursos Online 1. Direto do concurso (ESAF/AFC) Dizer que não é

Direto do concurso

(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”.

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

Comentário

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

que, se Pedro está em Roma, então Paulo está em Paris. ¬ (Pr → Pp) ⇔
que, se Pedro está em Roma, então Paulo está em Paris. ¬ (Pr → Pp) ⇔

¬ (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
2

RACIOCÍNIO LÓGICO

Equivalências Lógicas II

RACIOCÍNIO LÓGICO Equivalências Lógicas II Produção: Equipe Pedagógica Gran Cursos Online Lei bicondicional Veja:

Produção: Equipe Pedagógica Gran Cursos Online

Lei bicondicional

Veja:

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

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

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

Demonstração: [(A → B) ∧ (B → A)] ⇔ [A ↔ B] Lei comutativa Como já

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, visto ao estudarmos as tabelas-verdade, foi comentado que os os resultados das tabelas-verdade permanecem idênticos. Com 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.

o conec- tivo não possui a propriedade comutativa. 1. Direto do concurso (FCC/TRF) Se todos os
o conec- tivo não possui a propriedade comutativa. 1. Direto do concurso (FCC/TRF) Se todos os

1.

Direto do concurso

(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
ANOTAÇÕES
ANOTAÇÕES
ANOTAÇÕES
ANOTAÇÕES

ANOTAÇÕES

3
3

RACIOCÍNIO LÓGICO

Equivalências Lógicas II

RACIOCÍNIO LÓGICO Equivalências Lógicas II Produção: Equipe Pedagógica Gran Cursos Online a. alguns atos não têm

Produção: Equipe Pedagógica Gran Cursos Online

II Produção: Equipe Pedagógica Gran Cursos Online a. alguns atos não têm causa se não há
II Produção: Equipe Pedagógica Gran Cursos Online a. alguns atos não têm causa se não há

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.

são livres se e somente se todos os nossos atos têm causa. Comentário Se todos os

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”.

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

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

ANOTAÇÕES
4
4

RACIOCÍNIO LÓGICO

Equivalências Lógicas II

RACIOCÍNIO LÓGICO Equivalências Lógicas II Produção: Equipe Pedagógica Gran Cursos Online Comentário Alice não

Produção: Equipe Pedagógica Gran Cursos Online

II Produção: Equipe Pedagógica Gran Cursos Online Comentário Alice não foi ao cinema ou Bernardo foi
II Produção: Equipe Pedagógica Gran Cursos Online Comentário Alice não foi ao cinema ou Bernardo foi

Comentário

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

Alice não foi ao cinema ou Bernardo foi jogar futebol. ¬ A ∨ B ⇔ A

¬ A B A → B

¬ B → ¬ A (CESPE concluiu isso)

São idênticos.

1. a

2. d

1. c

2. E

3. C

GABARITO

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
ANOTAÇÕES
ANOTAÇÕES
ANOTAÇÕES
ANOTAÇÕES

ANOTAÇÕES

5
5