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