A questão foi anulada; por favor, selecione qualquer alternativa para que possa ser atribuída a pontuação correspondente. Considerando as seguintes...

A questão foi anulada; por favor, selecione qualquer alternativa para que possa ser atribuída a pontuação correspondente. Considerando as seguintes premissas: Se um objeto – bicho, animal – da natureza é um cachorro, então pode-se afirmar que o seu sexo será masculino ou feminino. Pode-se generalizar que qualquer cachorro é um animal, ou seja, todos os cachorros são animais. Bem, nem todos os cachorros são obedientes, mas há certeza de que existem cachorros obedientes ou, pelo menos, um. E empregando conectivos lógicos e quantificadores utilizados na lógica de predicados de primeira ordem, assinale a alternativa com a formalização CORRETA das premissas anteriores – ainda que em ordem diferente:

A) ∀x, cachorro(x) → masculino(x) ˄ feminino(x) ∀x, cachorro(x) → animal(x) ∃x, cachorro(x) → obediente(x)
B) ∀x, cachorro(x) → masculino(x) ˅ feminino(x) ∀x, cachorro(x) → animal(x) ∃x, obediente(x) → cachorro(x)
C) x, cachorro(x) → animal(x) ∃x, cachorro(x) → obediente(x) ∀x, cachorro(x) → masculino(x) ˅ feminino(x)
D) ∀x, cachorro(x) → animal(x) ∃x, cachorro(x) → obediente(x) ∀x, cachorro(x) → masculino(x) ˅ feminino(x)
E) ∀x, animal(x) → cachorro(x) ∃x, cachorro(x) → obediente(x) ∀x, cachorro(x) → masculino(x) ˅ feminino(x)