Lógica matematica

C&V

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