Gabarito disponível
Assinale a opção que apresenta a afirmativa que equivale à afirmação do oficial.
Resolução comentada
A condicional p→(q∨¬r) equivale à contrapositiva (¬q∧r)→¬p.
A contrapositiva nega o consequente e o antecedente: se hoje não é dia de licença pagamento e os nautas estão de serviço, então não é verdade que todos os navios estão fundeados, isto é, há navio não fundeado. Isso é a alternativa B.
Análise das alternativas
A) Nega o antecedente e o consequente sem inverter a condicional. C) É a recíproca. D) Errou a negação de (q∨¬r), que deveria ser ¬q∧r. E) Usa q∧r, que não é a negação correta.
Referência: Equivalência por contraposição e leis de De Morgan.
Resolução comentada do VaiConcursos.