26 Novembro 2015, 10:00 • António José Teiga Zilhão
Cálculo de Predicados: regras de inferência EQU, IQE e IQU.