Em uma empresa, todo administrador é do sexo masculino. Todo encarregado, se não for contador, ou é administrador ou é engenheiro. Sabe-se que não há contador e não há engenheiro que não seja do sexo masculino. Portanto, nessa empresa, tem-se que, necessariamente: