Lógica de Predicados - I

24 Novembro 2015, 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.