Lógica matematica
CONCURSOS
&
VOCÊ
Testes de lógica resolvidos
LÓGICA FORMAL
Considere que A e B representem proposições básicas e que as expressões A v B e ¬A sejam proposições compostas. A proposição A v B é F quando A e B são F, caso contrário, é V, e ¬A é F quando A é V, e é V quando A é F.
De acordo com essas definições, julgue os itens a seguir.
1.(CESPE-UnB) Independentemente da valoração V ou F atribuída às proposições A e B, é correto concluir que a proposição ¬ (A v B) v (A v B) é sempre V.
Resolução
A proposição ¬ (A v B) v (A v B) é sempre V.
A
B
~
(A
v
B)
v
(A
v
B)
V
V
F
V
V
V
V
V
V
V
V
F
F
V
V
F
V
V
V
F
F
V
F
F
V
V
V
F
V
V
F
F
V
F
F
F
V
F
F
F
A afirmativa da CESPE está correta
LÓGICA FORMAL
2. (CESPE-UnB) A proposição “Carlos é juiz e é muito competente” tem como negação a proposição “Carlos não é juiz nem é muito competente”.
Resolução
Lembre da propriedade
Carlos é juiz
Carlos não é juiz
(p e q) = p ou q
Logo, a negação de
e
é muito competente
ou
não é muito competente
Afirmativa da CESPE está errada.
LÓGICA FORMAL
3. (CESPE-UnB) A proposição “Se as reservas internacionais em moeda forte aumentam, então o país fica protegido de ataques especulativos” pode também ser corretamente expressa por “O país ficar protegido de ataques especulativos é condição necessária para que as reservas internacionais aumentem”.
Resolução
As três formas abaixo estão corretas, veja:
1. “Se as reservas internacionais em moeda forte aumentam, então o país fica protegido de ataques especulativos”
2. “As reservas internacionais em moeda forte aumentar é condição suficiente para o país ficar protegido de ataques especulativos”
3. “O país ficar protegido de ataques especulativos é condição necessária para que as reservas internacionais em moeda forte aumentem”.