 |
| |||
| cuantificador m (общее название для логических операций, ограничивающих область истинности какого-либо предиката и создающих высказывание mrssam) | |||
| Russian thesaurus | |||
| |||
| в логике и математике - логические эквиваленты слов "все", "каждый" и т. п. кванторы общности, "некоторый", "существует" кванторы существования и др.; операторы, формализующие в исчислении предикатов логические свойства этих выражений. Большой Энциклопедический словарь | |||