Terminada a definição da semântica para lógica de predicados