Você já apareceu por aqui?

Dia 15 de abril - Questão 105

Olá, meu povo!

O José, colega concurseiro de Recife/PE, me mandou a prova da Comissão Nacional de Energia Nuclear (CNEN), realizada pela Fundação Conesul de Desenvolvimento (CONESUL).

A prova está recheada de questões da ‘essência’ do Raciocínio Lógico, inclusive fala muito de Lógica Clássica, também conhecida como QUANTIFICADORES, assunto muito pouco exigido pelas bancas.

Por isso, vamos comentar uma questão da prova obre esse assunto. Apenas uma observação: mais uma vez, por termos símbolos difíceis de serem mostrados em texto, vamos ‘colar’ a questão como uma figura, ok?



Primeiro, vamos conhecer os símbolos:

O ‘quantificador universal’ (é o A de cabeça para baixo) também pode ser descrito como ‘todo’, ‘para todo’, ‘qualquer que seja’. Já o ‘quantificador existencial’ (é o E ao contrário) pode ser chamado de ‘existe’, ‘existe pelo menos 1’.

Traduzindo a questão, temos:
Existe X que pertence a uma função FX

Ex: Existe X que seja maior que 10

Para encontrarmos uma fórmula logicamente equivalente a essa, temos abrir o ‘cucuruto’ e lembrar que a NEGAÇÃO DO ALGUM é o NENHUM, que é a mesma coisa que o TODO NÃO.

Como o TODO é o quantificador universal, teremos NEGAR o TODO e NEGAR a FUNÇÃO FX. Ou seja:
Existe X que pertence a uma função FX = (Negação) Todo X que NÃO pertence a uma função FX

Ex: Existe X que seja maior que 10 = ¬ (Todo X que NÃO seja maior que 10)

Resposta correta: letra D.

Faltam 261 questões!

Beijo no papai e na mamãe,

PH

0 comments: