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-...

Podemos resolver esse problema utilizando a lógica proposicional. 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. Podemos começar analisando a afirmativa III. Se Carlos não mentiu, então Pedro não é culpado. Como estamos considerando essa afirmativa verdadeira, podemos concluir que Carlos não mentiu e, portanto, Pedro não é culpado. Agora, podemos utilizar a afirmativa IV. Se Pedro não é culpado, então João não é culpado. Como estamos considerando essa afirmativa verdadeira, podemos concluir que João não é culpado. Com isso, podemos utilizar a afirmativa II. Se João é culpado, então Carlos não mentiu. Como estamos considerando essa afirmativa verdadeira, podemos concluir que Carlos não mentiu. Por fim, podemos utilizar a afirmativa I. Se Carlos mentiu, então João é culpado. Como estamos considerando essa afirmativa falsa (pois já concluímos que Carlos não mentiu e João não é culpado), podemos concluir que Carlos não mentiu e João não é culpado. Portanto, a alternativa correta é a letra d) Carlos não mentiu, João não é culpado, Pedro não é culpado.