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,
Questão — da prova oficial, com gabarito conferido contra o gabarito publicado pela banca. Resolva abaixo e veja a explicação comentada.
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,
Fonte: prova oficial · Extração determinística com gabarito oficial conferido.
Nenhum comentário ainda. Seja o primeiro a explicar como resolveu.