Assinale a alternativa que apresenta uma negação lógica da seguinte proposição: Todos os cães são amigáveis e alguns gatos são ariscos.

Não há cão amigável e alguns gatos não são ariscos.

Há pelo menos um cão que não é amigável ou nenhum gato é arisco.

Qualquer cão não é amigável ou todos os gatos são ariscos.

Todos os cães não são amigáveis ou há pelo menos um gato que não é arisco.

Se não há cão amigável, então os gatos são ariscos.