///
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: