AP22 Redutibilidade
28 novembro 2019, 11:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Preservação da produtividade por redução. Decidibilidade do problema da satisfazibilidade em lógica proposicional. Não decidibilidade do problema
da consequência em lógica proposicional através da redução do problema da paragem a este problema.