Pequena correção na semântica da lógica de predicados