FC ConcursosFC Concursos

Questão FC300062

Considere verdadeira a afirmação: “Todo vegetal verde é saudável.” É correto concluir que:

Lógica de Proposições

FGV · 2021

Considere verdadeira a afirmação:

 

“Todo vegetal verde é saudável.”

 

É correto concluir que:

  1. Todo vegetal saudável é verde.
  2. Todo vegetal que não é saudável não é verde.
  3. Todo vegetal que não é verde não é saudável.
  4. Alguns vegetais verdes não são saudáveis.
  5. Alguns vegetais que não são saudáveis são verdes.
Mostrar resposta e comentário

Gabarito

B

Comentário do professor

“Todo vegetal verde é saudável.” Pode ser lida como um condicional: se um vegetal é verde, então é saudável.

Defina \(p\) = “é verde” e \(q\) = “é saudável”. A sentença torna‑se \(p \to q\).

Todo condicional possui como equivalente sua contrapositiva, que inverte e nega os termos: \( \neg q \to \neg p\).

A alternativa B — “Todo vegetal que não é saudável não é verde.” — é justamente essa contrapositiva escrita em linguagem natural, portanto decorre logicamente e é válida como conclusão.

Conteúdo do catálogo FC Concursos · Atualizado em

Continue aprendendo