Em uma universidade, são verdadeiras as seguintes situações: a.Todo pesquisador publicou ao menos um artigo. b.Nenhum pesquisador que publicou artigo ocupa cargo administrativo. A

Gabarito

A

Comentário do professor

Premissas: Todo pesquisador publicou ao menos um artigo e nenhum pesquisador que publicou artigo ocupa cargo administrativo.

Em linguagem de conjuntos, seja \(P\) o conjunto dos pesquisadores, \(A\) o conjunto dos que publicaram artigos e \(Ad\) o conjunto dos que ocupam cargos administrativos.

Da primeira premissa temos \(P\subseteq A\). Da segunda, os que publicaram não estão em cargos administrativos, isto é \(A\cap Ad=\varnothing\).

Se \(P\subseteq A\) e \(A\cap Ad=\varnothing\), então necessariamente \(P\cap Ad=\varnothing\).

Portanto, não existe pesquisador que ocupe cargo administrativo; a conclusão é logicamente válida em razão da inclusão e da não interseção entre os conjuntos.