De acordo com a lógica proposicional, a negação da frase “Se a lei foi cumprida, então o réu não foi solto” é equivalente a: