Considere como verdadeiras as sentenças: I. Nenhum C é A. II. Algum A é B. É correto concluir que

Gabarito

B

Comentário do professor

Nenhum C é A significa que os conjuntos não se intersectam: \(C\cap A=\varnothing\).

Algum A é B afirma que existe pelo menos um elemento comum: \(A\cap B\neq\varnothing\), isto é, \(\exists x\) tal que \(x\in A\) e \(x\in B\).

Qualquer elemento de \(A\cap B\) pertence a \(A\). Como \(C\) não tem interseção com \(A\) (\(C\cap A=\varnothing\)), esse elemento não pode pertencer a \(C\).

Portanto existe um elemento \(x\) com \(x\in B\) e \(x\notin C\), ou seja, algum B não é C. Essa conclusão decorre diretamente das duas premissas.