Questões de Concurso sobre Implicações Lógicas

Investigando uma fraude bancária, um famoso detetive colheu evidências que o convenceram da verdade das seguintes afirmações

1) Se Homero é culpado, então João é culpado.

2) Se Homero é inocente, então João ou Adolfo são culpados.

3) Se Adolfo é inocente, então João é inocente.

4) Se Adolfo é culpado, então Homero é culpado.

As evidências colhidas pelo famoso detetive indicam, portanto, que:

Ana é artista ou Carlos é carioca. Se Jorge é juiz, então Breno não é bonito. Se Carlos é carioca, então Breno é bonito. Ora, Jorge é juiz. Logo:

Se não durmo, bebo. Se estou furioso, durmo. Se durmo, não estou furioso. Se não estou furioso, não bebo. Logo,

André é inocente ou Beto é inocente. Se Beto é inocente, então Caio é culpado. Caio é inocente se e somente se Dênis é culpado. Ora, Dênis é culpado. Logo

O rei ir à caça é condição necessária para o duque sair do castelo, e é condição suficiente para a duquesa ir ao jardim. Por outro lado, o conde encontrar a princesa é condição necessária e suficiente para o barão sorrir e é condição necessária para a duquesa ir ao jardim. O barão não sorriu. Logo: