Lógica de Predicados - II

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

O Cálculo de Predicados: regras de inferência EQU, IQE, IQU e EQE.