v"） = F。类似的，公式的释义为"n"-1个参数的函数"H"，使得"H"（"v", ...,"v"） = T，当且仅当对于至少一个"w"有"F"（"v", ...,"v", "w"） = T，否则"H"（"v", ..., "v"） = F。唯一量化的语义要求带有等号的一阶谓词演算。这意味着这里要有一个显着的二元谓词"="；语义也要相应的修改来使"="总是被解释为在"X"上的二元等价关系。被解释为"n"-1个参数的函数，它是如下两个释义的逻辑"与" 
几个、多个和其他程度