universal quantifier
- квантор всеобщности
#
в логике – формальное выражение, говорящее о том, что сформулированное общее высказывание (суждение) справедливо для всех членов указанной совокупности или класса – то есть означает “для всех…”, “для каждого…” или “каждый…”, “любой…”, “для любого…”.
Связные термины
quantifier
