Português — estruturas lógicas (tabela verdade)

Numa empresa de nanotecnologia, sabe-se que todos os mecânicos são engenheiros e que todos os engenheiros são pós-graduados. Se alguns administradores da empresa também são engenheiros, pode-se afirmar que, nessa empresa: