Formalização na linguagem da lógica de predicados

12 Novembro 2018, 18:00 • Ricardo Santos

Exercícios de formalização na linguagem da lógica de predicados, com quantificação e predicados de um lugar. O estabelecimento de um ‘dicionário’ e o processo de análise lógica de frases complexas da linguagem natural.