Considere verdadeiras as afirmativas a seguir: • Todo guarda metropolitano zela pelo patrimônio de sua cidade. • Alguns guardas metropolitanos têm mais de 30 anos. A partir dessas

Gabarito

A

Comentário do professor

Partindo das premissas em linguagem lógica: Todo guarda metropolitano zela pelo patrimônio significa \(\forall x (G(x)\rightarrow Z(x))\).

Além disso, Alguns guardas metropolitanos têm mais de 30 anos indica \(\exists x (G(x)\land A(x))\), onde A(x) = "tem mais de 30 anos".

Aplicando a implicação universal à existência, se existe um indivíduo que é guarda e tem mais de 30 anos, então, por \(\forall x (G(x)\rightarrow Z(x))\), esse mesmo indivíduo também zela pelo patrimônio.

Logo, pode-se inferir a existência de ao menos uma pessoa que tem mais de 30 anos e zela pelo patrimônio, formalmente \(\exists x (A(x)\land Z(x))\).

Portanto, a conclusão "Algumas pessoas com mais de 30 anos zelam pelo patrimônio de sua cidade" é logicamente válida.