Lógica de Predicados - I

25 Novembro 2016, 10:00 António José Teiga Zilhão

Introdução à Lógica de Predicados. 

O Cálculo de Predicados: vocabulário e regras de formação.