Judgment (mathematical logic)

表判决的结果而断言的那个东西，并被当作有独特的精神或意图的某种事物。在Frege-Russell之前的作家比如Bradley，有时把“判断”（judgment）说成不同于判决的某种事物，而这不是完全相同的。作为进一步的混淆，起源于拉丁语的“判决”（sentence）这个词，意味着一个评判或判断，所以等同于“命题”。

UOD。一个正确的IDEF1X模型允许所有可能的UOD状态，并拒绝所有不可能状态，它们直接冲突于这个模型的显式断言（英语：Judgment (mathematical logic)）。换句话说，一个IDEF1X模型是正确的，如果它坚持为真的句子（公理），事实上在所有可能UOD状态下是真的，在所有不可能状态下是假的。

2006 上海科技教育出版社2020 从前有个数——故事中的数学逻辑 Once Upon a Number: The Hidden Mathematical Logic of Stories 约翰·阿伦·保罗斯 John Allen Paulos 史树中 2006 剑桥五重奏（英语：The Cambridge