Com base apenas nessas afirmações, qual das conclusões a seguir é lógica e necessariamente verdadeira?

Gabarito

D

Comentário do professor

Partimos das duas premissas: todos os veículos da frota municipal precisam de vistoria mensal e alguns veículos da frota são elétricos.

Formalizando: \( \forall x(F(x)\rightarrow V(x)) \) e \( \exists x(F(x)\land E(x)) \). A primeira diz que qualquer elemento da frota (F) implica que precisa de vistoria (V). A segunda afirma que existe um elemento que é simultaneamente da frota e elétrico (E).

Pela regra da lógica existencial combinada com a implicação universal, o indivíduo que satisfaz \(F(x)\land E(x)\) também satisfaz \(V(x)\). Logo obtemos \( \exists x(E(x)\land V(x)) \).

Portanto, é logicamente necessária a conclusão: pelo menos um veículo elétrico precisa de vistoria mensal.