IV. Lógica de Predicados - 1

28 Novembro 2019, 18: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