Lógica Proposicional - III

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

O Problema da Decisão. Métodos semântico e sintáctico de o resolver.