完全性又称“完备性”。设X是服从参数分布族 的一个随机变量,若对一切θ∈Θ,由Eθ[u(X)]=0可推出对一切θ∈Θ,P[u(X)=0]=1,则称该分布族是完全的。如果一个充分统计量的抽样分布是完备的,则称该充分统计量为充分完备统计量。常被应用于测验分数统计中。 完全性形式系统的基本性质之一。1.语法完全性分别具有强意义和弱意义。前者指:属于一形式系统的每一公式或者是可证的,或者是不可证的;后者指:如果把一形式系统中的不可证公式加到公理中去将导致矛盾。2.语义完全性分别具有绝对意义和相对意义。前者指:一形式系统中的普遍有效式当且仅当是该系统中的可证公式。后者指:相对于一形式系统的某个解释,与该解释中的真句子相应的形式系统中的公式都是可证的。形式系统最好能但不一定满足完全性。 完全性completion |