Considerem-se verdadeiras as afirmações a seguir: I. Alguns funcionários que são concursados têm curso superior. II. Todos os funcionários da LIMPURB são concursados. A partir dess

Gabarito

B

Comentário do professor

Alguns funcionários que são concursados têm curso superior. Essa sentença afirma a existência de pelo menos um indivíduo que é simultaneamente concursado e possui curso superior.

Em lógica de predicados isso se escreve \( \exists x\,(C(x)\land S(x)) \). Como a conjunção é comutativa, \(C(x)\land S(x)\) equivale a \(S(x)\land C(x)\).

Portanto a mesma existência pode ser reescrita como \( \exists x\,(S(x)\land C(x))\), que se lê: existem funcionários com curso superior que são concursados.

Em termos de conjuntos, os conjuntos C (concursados) e S (com curso superior) têm interseção não vazia, logo é correto afirmar que alguns elementos de S pertencem a C.