Considere as seguintes assertivas: todo gerente é um funcionário; cada funcionário é gerenciado por um gerente. A análise da relação lógica entre essas afirmativas permite concluir que
ser gerente implica ser funcionário e cada funcionário é gerenciado por mais de um gerente.
cada funcionário é um gerente, e cada gerente gerencia um funcionário.
todo funcionário é também gerente, e todo funcionário é gerenciado por um ou mais gerentes.
todo gerente é também funcionário, e todo funcionário é gerenciado por pelo menos um gerente.