En lógica matemática, un juicio (o juicio) o afirmación es un enunciado o enunciado en el metalenguaje. Por ejemplo, los juicios típicos en lógica de primer orden serían que una cadena es una fórmula bien formada, o que una proposición es verdadera. De manera similar, un juicio puede afirmar la ocurrencia de…