Considere a seguinte sentença no contexto de uma ação de fiscalização tributária municipal: “Se o auditor fiscal cometeu um erro na autuação, então ele deverá sofrer sanção administrativa”. Uma sentença equivalente à sentença dada é: