Uma sentença logicamente equivalente a “Se Sandra é agente administrativa, então Léia é técnica de enfermagem.” é: