Se o cofre é amarelo, então ele é seguro. Se o cofre é seguro, então ele é portátil. Sabe-se que o cofre não é portátil. Sendo assim, é correto concluir que:

Gabarito

B

Comentário do professor

Premissas: temos "Se o cofre é amarelo, então é seguro", "Se é seguro, então é portátil" e "o cofre não é portátil".

Simbolizando: \(A \to S\), \(S \to P\) e \(\neg P\).

Pela contrapositiva, de \(S \to P\) e \(\neg P\) segue \(\neg S\). Ou seja, se a condição necessária para a portabilidade é falsa, a propriedade de ser seguro também é falsa.

Aplicando novamente a contrapositiva a \(A \to S\) e \(\neg S\), concluímos \(\neg A\). Assim, não pode ser amarelo.

Conclusão: o cofre não é seguro nem amarelo.