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

7 Novembro 2017, 18:00 • Ricardo Santos

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