Uma negação lógica para a afirmação “Existem, pelo menos, um Mário que é culpado e um José que é inocente.” está contida na alternativa: