Considere como verdadeiras as afirmativas a seguir.
I. Se Carlos mentiu, então João é culpado.
II. Se João é culpado, então Carlos não mentiu.
III. Se Carlos não mentiu, então Pedro não é culpado.
IV. Se Pedro não é culpado, então João não é culpado. Com base nas afirmativas acima, é correto concluir que