Traduza as sentenças que seguem para a lógica de predicados:
Homens são mamíferos e tomates são vegetais.

Passo 1

O enunciado pede para traduzir as sentenças “Homens são mamíferos” e “Tomates são vegetais” para a lógica de predicados. O conteúdo é tradução de sentenças universais e vamos precisar definir domínio e predicados para representar “homem”, “mamífero”, “tomate” e “vegetal”.

Passo 2

Definimos o domínio como o conjunto de todos os objetos e os seguintes predicados: Man(x): “x é um homem”; Mammal(x): “x é um mamífero”; Tomato(x): “x é um tomate”; Vegetable(x): “x é um vegetal”.

Passo 3

A tradução de “Homens são mamíferos” é uma sentença universal que diz que todo x, se x é homem então x é mamífero. Em lógica de predicados fica:

Passo 4

A tradução de “Tomates são vegetais” é uma sentença universal que diz que todo x, se x é tomate então x é vegetal. Em lógica de predicados fica:

Resposta

forall x,(Man(x) to Mammal(x))
forall x,(Tomato(x) to Ve>=tab<=(x))

Exercícios relacionados