Você já apareceu por aqui?

Dia 03 de janeiro - questão 03

Olá, meu povo!
A questão de hoje fala um pouco sobre os conceitos iniciais de Lógica, mais especificamente de negações de proposições. Foi retirada da prova de Analista de Finanças e Controle, de Controladoria Geral da União, realizada pela Esaf em 2008.
Maria foi informada por João que Ana é prima de Beatriz e Carina é prima de Denise. Como Maria sabe que João sempre mente, Maria tem certeza que a afirmação é falsa. Desse modo, e do ponto de vista lógico, Maria pode concluir que é verdade que:
a) Ana é prima de Beatriz ou Carina não é prima de Denise.
b) Ana não é prima de Beatriz e Carina não é prima de Denise.
c) Ana não é prima de Beatriz ou Carina não é prima de Denise.
d) se Ana não é prima de Beatriz, então Carina é prima de Denise.
e) se Ana não é prima de Beatriz, então Carina não é prima de Denise.
Primeiro, vamos traduzir a questão, separando as proposições:

A = Ana é prima de Beatriz.
C = Carina é prima de Denise.

A questão fala em afirmação falsa. Logo, vamos negar a premissa:
~(A ^ C)
Isto é uma negação de uma conjunção. E qual é a sua equivalente? Vamos lembrar:

- Negação de uma conjunção:
1) Negaremos a primeira;
2) Negaremos a segunda;
3) Trocaremos E por OU.


Assim:
~(A ^ C) = ~A v ~C = Ana NÃO é prima de Beatriz OU Carina NÃO é prima de Denise.
Resposta: letra C.
Faltam 362 questões!
Beijo no papai e na mamãe,
PH

0 comments: