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.
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”
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:
Uma forma equivalente, usando implicação universal, é:
Resposta
Glossário
L(x): é um leão.
M(x): é manso.
L(x):
M(x):