Considere como verdadeiras as afirmativas a seguir: I. Se Carlos mentiu, então J...

Questão de Raciocínio Lógico da banca FGV aplicada no concurso TJ AM (2013). Confira a resolução completa abaixo:

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