Question

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, obediente(x) → cachorro(x)

b.
∀x, cachorro(x) → animal(x)
∀x, cachorro(x) → obediente(x)
∀x, cachorro(x) → masculino(x) ˅ feminino(x)

c.
∀x, animal(x) → cachorro(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, cachorro(x) → masculino(x) ˄ feminino(x)
∀x, cachorro(x) → animal(x)
∃x, cachorro(x) → obediente(x)

Answer 1

• Resolução da questão:

Reescrevendo cada premissa na Lógica de Predicados, obtemos:

1. "Se um objeto – bicho, animal – da natureza é um cachorro, então pode-se afirmar que o seu sexo será masculino ou feminino."

$\mathsf{(\forall x)}(\mathsf{cachorro(x) \to masculino(x) \lor feminino(x)})$

2. "Pode-se generalizar que qualquer cachorro é um animal, ou seja, todos os cachorros são animais."

$(\forall x)\mathsf{(cachorro(x) \to animal(x))}$

3. "Bem, nem todos os cachorros são obedientes, mas há certeza de que existem cachorros obedientes ou, pelo menos, um."

$(\exists x)\mathsf{(cachorro(x)\to obediente(x))}$

Resposta: D)

• Leia mais sobre a Lógica de Predicados:

https://brainly.com.br/tarefa/25275291