Um diretor administrativo verificou que: “Se os funcionários são valorizados, então o balanço mensal não registra queda”. Essa constatação é equivalente a:

O balanço mensal não registra queda se, e somente se, os funcionários são valorizados

Se os funcionários não são valorizados, então o balanço geral registra queda

Os funcionários não são valorizados se, e somente se, o balanço geral registra queda

Se o balanço mensal registra queda, então os funcionários não são valorizados