квантори

КВАНТОРИ (від лат. quantum — скільки) — логічні оператори, які вказують на "кількість" індивідів ("всі" або "деякі"), що відповідають певній умові. Розрізняють К. загальності — V ("всі..., такі що..."), К. існування — 3 ("деякі ..., що...", "існує ..., такий що..."). Різні співвідношення між К. загальності та існування і логічними зв'язками логіки висловлювань формалізуються в численні предикати (див. логіка предикатів).

Джерело: Філософський енциклопедичний словник на Slovnyk.me