A proposição “Se André é culpado então Bruno não é suspeito” é equivalente à