Considere verdadeira a seguinte afirmação: “Todos os funcionários da empresa XYZ têm salário superior a 3000 reais.” Então, é necessariamente verdadeiro que:

Se José é funcionário da empresa XYZ, então o salário de José é igual a 3000 reais.

Se o salário de Marta é maior que 3000 reais, então ela é funcionária da empresa XYZ.

Se o salário de Deise é menor que 3000 reais, então ela não é funcionária da empresa XYZ.

Se Julia não é funcionária da empresa XYZ, então o salário de Julia é menor que 3000 reais.