Traduza as sentenças para lógica de predicados (a resposta deve conter um glossário de predicados, funções e constantes utilizados):
Nenhum leão é manso.

Passo 1

O enunciado pede para traduzir a sentença “Nenhum leão é manso” para a lógica de predicados, ou seja, expressar que não existe indivíduo que seja simultaneamente um leão e seja manso.

Passo 2

Escolhemos como universo de discurso “todos os animais” e definimos os seguintes predicados:
L(x): “x é um leão”
M(x): “x é manso”

Passo 3

A ideia “nenhum leão é manso” equivale a “não existe um x tal que x seja leão e x seja manso”. Em lógica de predicados:
\neg \exists x \bigl(L(x)\wedge M(x)\bigr)
Uma forma equivalente, usando implicação universal, é:
\forall x \bigl(L(x)\to \neg M(x)\bigr)

Resposta

\forall x \bigl(L(x)\to \neg M(x)\bigr)
Glossário
L(x): x é um leão.
M(x): x é manso.

Exercícios relacionados