Lógica de Predicados - III

27 Novembro 2015, 10:00 • António José Teiga Zilhão

Regras de inferência do Cálculo de Predicados: a regra EQE.