Nella logica matematica, un giudizio (o giudizio) o asserzione è un’affermazione o enunciazione nel metalinguaggio. Ad esempio, i giudizi tipici nella logica del primo ordine sarebbero che una stringa è una formula ben formata, o che una proposizione è vera. Allo stesso modo, un giudizio può affermare il verificarsi di una variabile…