Ou João é culpado ou Antônio é culpado. Se Antônio é inocente então Carlos é inocente. João é culpado se e somente se Pedro é inocente. Ora, Pedro é inocente...
2016
FUNRIO
Ou João é culpado ou Antônio é culpado. Se Antônio é inocente então Carlos é inocente. João é culpado se e somente se Pedro é inocente. Ora, Pedro é inocente. Logo,