存在量化 meaning in Chinese
existential quantification
Examples
- When applied to sequences of values , automatically iterate over the sequences , looking for a pair of values that satisfies the comparison this process is called existential quantification
）施加于一系列值时，则会自动地对该序列进行迭代，寻找满足比较（此过程称作存在量化（ existential quantification ） ）条件的一对值。