量词收缩定理

（计算机科学技术）

量词收缩定理（quantifier contraction theorem），计算机科学技术名词，定理如下：若存在一个可计算关系 R 使得) }，则 A 是的。直观地说，若干个存在量词相继出现时，可压缩成一个存在量词。对全称量词，也有同样的压缩定理。