III. Lógica Proposicional - 3
26 Novembro 2020, 15:30 • António José Teiga Zilhão
O Problema da Decisão: métodos semântico e sintáctico de o resolver.
Inferência Proposicional: implicações tautológicas como paradigmas da inferência proposicional.
26 Novembro 2020, 15:30 • António José Teiga Zilhão
O Problema da Decisão: métodos semântico e sintáctico de o resolver.