resumo aula-13-linguagem-da-logica-formal-tabela-verdade-ix

Prévia do material em texto

1
Linguagem da Lógica Formal – Tabela-Verdade IX
RACIOCÍNIO LÓGICO
www.grancursosonline.com.br
AN
O
TAÇ
Õ
ES
Produção: Equipe Pedagógica Gran Cursos Online
LINGUAGEM DA LÓGICA FORMAL – TABELA-VERDADE IX
1. (CESPE/PRF/2008) Em um posto de fiscalização da PRF, cinco veículos fo-
ram abordados por estarem com alguns caracteres das placas de identifica-
ção cobertos por uma tinta que não permitia o reconhecimento, como ilustra-
das abaixo, em que as interrogações indicam os caracteres ilegíveis. 
Os policiais que fizeram a abordagem receberam a seguinte informação: se 
todas as três letras forem vogais, então o número, formado por quatro al-
garismos, é par. Para verificar se essa informação está correta, os policiais 
deverão retirar a tinta das placas 
a. I, II e V. 
b. I, III e IV. 
c. I, III e V.
d. II, III e IV.
e. II, IV e V 
Comentário
Placas Afirmação: 3 vogais →par V
I V → V/F V/F
II F → V V
III V/F → V/F V/F
IV V/F → V V
V V/F → F F/V
• É necessário remover a tinta da placa I, III e V porque a afirmação pode ser 
verdadeira ou falsa, se o número for par ou ímpar. 
2
Linguagem da Lógica Formal – Tabela-Verdade IX
RACIOCÍNIO LÓGICO
www.grancursosonline.com.br
AN
O
TA
Ç
Õ
ES
Produção: Equipe Pedagógica Gran Cursos Online
• Nas placas II e IV, independentemente de haver consoantes ou vogais, a 
afirmação será verdadeira. 
05. BICONDICIONAL: “se, e somente se” (↔)
(A → B) ^ (B → A) = A ↔ B
A A
A = B
B
BU =
Como os conjuntos são iguais, o valor lógico de uma bicondicional será ver-
dadeiro quando seus valores lógicos forem iguais. 
A B A ↔ B 
V V V
V F F
F V F
F F V
Atenção!
• Cabe a propriedade comutativa, pois, se invertermos os valores lógicos de 
A e B, o resultado será o mesmo. 
• Na bicondicional, A é condição suficiente e necessária para B. 
Direto do concurso
2. (ESAF) O reino está sendo atormentado por um terrível dragão. O mago diz 
ao rei: “O dragão desaparecerá amanhã se e somente se Aladim beijou a 
princesa ontem”. O rei, tentando compreender melhor as palavras do mago, 
faz as seguintes perguntas ao lógico da corte:
A = B
samia
Realce
3
Linguagem da Lógica Formal – Tabela-Verdade IX
RACIOCÍNIO LÓGICO
www.grancursosonline.com.br
AN
O
TAÇ
Õ
ES
Produção: Equipe Pedagógica Gran Cursos Online
I – Se a afirmação do mago é falsa e se o dragão desaparecer amanhã, posso 
concluir corretamente que Aladim beijou a princesa ontem?
II – Se a afirmação do mago é verdadeira e se o dragão desaparecer amanhã, 
posso concluir corretamente que Aladim beijou a princesa ontem?
III – Se a afirmação do mago é falsa e se Aladim não beijou a princesa ontem, 
posso concluir corretamente que o dragão desaparecerá amanhã?
O lógico da corte então diz, acertadamente, que as respostas logicamente 
corretas para as três perguntas são:
a. não, sim, não.
b. não, não, sim.
c. sim, sim, sim.
d. não, sim, sim
e. sim, não, sim.
Resolução
Dragão desaparecerá ↔ Aladim beijou a princesa 
I V ↔ F F
II V ↔ V V
III V ↔ F F
I. Como a afirmação do mago é falsa, os valores lógicos serão diferentes. 
Portanto, não se pode concluir que Aladim beijou a princesa ontem. Resposta: 
não
II. A afirmação do mago é verdadeira, então, os valores lógicos serão iguais. 
Como o dragão desaparecerá amanhã, Aladim beijou a princesa ontem. 
Resposta: sim
III. A afirmação do mago é falsa, então, os valores lógicos serão diferentes. 
Como Aladim não beijou a princesa ontem, o dragão desaparecerá amanhã. 
Resposta: sim
4
Linguagem da Lógica Formal – Tabela-Verdade IX
RACIOCÍNIO LÓGICO
www.grancursosonline.com.br
AN
O
TA
Ç
Õ
ES
Produção: Equipe Pedagógica Gran Cursos Online
GABARITO
1. c
2. d
�����Este material foi elaborado pela equipe pedagógica do Gran Cursos Online, de acordo com a 
aula preparada e ministrada pelo professor Josimar Padilha.