Raciocínio Lógico

Investigando uma fraude bancária, a polícia colheu evidências de que as seguintes afirmações são verdadeiras: - Se Pedro é culpado, então João é culpado. - Se Pedro é inocente, então João ou Carlos são culpados. - Se Carlos é inocente, então João é inocente. - Se Carlos é culpado, então Pedro é culpado. As evidências colhidas pela polícia indicam, portanto, que: