Questões de Concurso Público TC-DF 2014 para Auditor de Controle Externo

José, Luís e Mário são funcionários públicos nas funções de auditor, analista e técnico, não necessariamente nessa ordem. Sabe-se que José não é analista, que o técnico será o primeiro dos três a se aposentar e que o analista se aposentará antes de Mário. Todo ano os três tiram um mês de férias e, no ano passado, no mesmo mês que José saiu de férias, ou Luís ou Mário também saiu.

Com base nessas informações, julgue os itens que se seguem.

Considerando-se as proposições “A: José tirou férias em janeiro de 2013”; “B: Luís tirou férias em janeiro de 2013”; e “C: Mário tirou férias em janeiro de 2013”, é correto afirmar que a proposição (A∧~C) →B não é uma tautologia, isto é, dependendo de A, B ou C serem verdadeiras ou falsas, ela pode ser verdadeira ou falsa.