A lógica de predicados é uma ferramenta utilizada para descrever propriedades e relações entre indivíduos de um universo específico. No exemplo dado, o universo é uma escola com quatro alunos: Juan, Luis, María e Ana. Uma possível propriedade que pode ser descrita é "é homem", que se aplica apenas a Juan e Luis, já que eles são os únicos alunos do sexo masculino.
Para escrever sua resposta aqui, entre ou crie uma conta
Álgebra Vetorial e Geometria Analítica
Compartilhar