En logique mathématique, un jugement (ou un jugement) ou une assertion est une déclaration ou une énonciation dans le métalangage. Par exemple, les jugements typiques dans la logique du premier ordre seraient qu’une chaîne est une formule bien formée, ou qu’une proposition est vraie.De même, un jugement peut affirmer l’existence d’une…