概率量词

（计算机科学技术）

概率量词（probabilistic quantifier），计算机科学技术名词，和存在()及全称()量词相对应，指给一个布尔变量（比如 x ）随机地赋值，记为 Rx 。