普效性- 普遍适用、有效、约束的内容
das allgemein Geltende, Gültige, Verbindliche
有效性- 一个公式普遍有效即在任一赋值下为真的性质
die Eigenschaft einer Formel allgemeingültig, also unter jeder Belegung wahr zu sein
