Traduza as sentenças que seguem para a lógica de predicados:
Alguns cavalos não são brancos
Alguns cavalos não são brancos
Passo 1
O enunciado pede para traduzir a frase “Alguns cavalos não são brancos” para a lógica de predicados, então vamos usar quantificadores e predicados para representar “é um cavalo” e “é branco”.
Passo 2
Definimos os predicados:
– : “x é um cavalo”.
– : “x é branco”.
–
–
Passo 3
Na linguagem de lógica de predicados, “alguns” corresponde ao quantificador existencial
e “não são brancos” é a negação do predicado branco, ou seja
.
Passo 4
Agora basta combinar tudo: existe pelo menos um x que é cavalo e não é branco, isto é