9 Novembro 2018, 09:30 • Fernando Ferreira
Resolventes de duas cláusulas disjuntivas. Método da resolução. Exemplos.