Questão FC317093
É comum programas de TV noticiarem os assuntos que estão nos Trending Topics da rede social Twitter. Por meio de um algoritmo específico da ferramenta, a rede social identifica a s
Lógica de Proposições
Com. Org. (IFSP) · 2022
É comum programas de TV noticiarem os assuntos que estão nos Trending Topics da rede social Twitter. Por meio de um algoritmo específico da ferramenta, a rede social identifica a seleção de termos mais comentados nesse espaço em um determinado período temporal. Esse destaque apresenta aos usuários um panorama dos assuntos considerados mais comentados no momento. Entram nesse destaque os marcadores conhecidos como hashtags (#).
Um exemplo é o texto #SomosTodosAnvisa, que esteve nos Trending Topics Brasil em dezembro de 2021. Naquela ocasião, ele expressava o apoio aos servidores técnicos da Agência Nacional de Vigilância Sanitária (Anvisa) que sofriam ameaças virtuais. #SomosTodosAnvisa expressa uma ideia que poderia ser escrita como a afirmação “Todos os brasileiros defendem a Anvisa”.
Nesse sentido, a alternativa que expressa adequadamente a negação da ideia expressa pela afirmação “Todos os brasileiros defendem a Anvisa” é:
- A Anvisa é indefensável.
- Existe algum brasileiro que não defende a Anvisa.
- Nenhum brasileiro defende a Anvisa.
- Todos os brasileiros não defendem a Anvisa.
Mostrar resposta e comentário
Gabarito
B
Comentário do professor
A frase a negar é “Todos os brasileiros defendem a Anvisa”.
O termo “Todos” é um quantificador universal. A negação de um enunciado com quantificador universal transforma-o em um quantificador existencial.
Assim, em vez de afirmar que cada indivíduo satisfaz a propriedade, a negação diz que há pelo menos um indivíduo que não a satisfaz — expressões usuais: “Existe algum...” ou “Pelo menos um...”.
Também é preciso negar o predicado: o verbo “defendem” vira “não defendem”. Combinando, obtemos:
“Existe algum brasileiro que não defende a Anvisa.”
Formalmente: a negação de \( \forall x\,P(x) \) é \( \exists x\,\lnot P(x) \), que corresponde exatamente à alternativa apresentada.
Conteúdo do catálogo FC Concursos · Atualizado em