Sabendo que todo motorista é concursado e que alguns guardas municipais não são concursados, então é incorreto afirmar que:

Gabarito

B

Comentário do professor

Da premissa todo motorista é concursado obtemos a relação lógica \( \forall x\,[M(x)\rightarrow C(x)]\): o conjunto dos motoristas está contido no dos concursados.

A afirmação da alternativa B — não pode haver concursado que não é motorista — equivale a \( \neg\exists x\,[C(x)\land\neg M(x)]\), ou seja a conversão \( \forall x\,[C(x)\rightarrow M(x)]\). Essa conversão não decorre da premissa inicial.

Em linguagem de conjuntos, ter \(M\subseteq C\) não impõe \(C\subseteq M\). Podem existir concursados fora do conjunto dos motoristas (por exemplo, um concursado que exerce função administrativa).

Portanto, afirmar que é impossível haver concursado que não seja motorista é incorreto.