Traduza as sentenças que seguem para a lógica de predicados:
Homens são mamíferos e tomates são vegetais.
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: