Na lógica matemática, um julgamento (ou julgamento) ou afirmação é uma afirmação ou enunciação na metalinguagem. Por exemplo, julgamentos típicos em lógica de primeira ordem seriam que uma string é uma fórmula bem formada ou que uma proposição é verdadeira. Similarmente, um julgamento pode afirmar a ocorrência de uma variável livre em…