1 Teorema de Herbrand. 2 Equivalências de 1 a Ordem As “leis” da Lógica Proposicional e as apresentadas a seguir permitem simplificar fórmulas da Lógica.