Traduza as sentenças que seguem para a lógica de predicados:
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:
C(x): “x é um cavalo”.
B(x): “x é branco”.

Passo 3

Na linguagem de lógica de predicados, “alguns” corresponde ao quantificador existencial exists e “não são brancos” é a negação do predicado branco, ou seja neg B(x).

Passo 4

Agora basta combinar tudo: existe pelo menos um x que é cavalo e não é branco, isto é

Resposta

exists x l(C(x) wed>= neg B(x)r)

Exercícios relacionados