A lógica de interpretação de um enunciado de prova