1 Resolução. 2 Equivalências de 1 a Ordem As leis de equivalência lógica permitem simplificar fórmulas da Lógica de 1a Ordem em fórmulas equivalentes,
