Філософський енциклопедичний словник
А Б В Г Д Е Є Ж З І Й [К] Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ю Я S
квантори
КВАНТОРИ (від лат. quantum - скільки) - логічні оператори, які вказують на "кількість" індивідів ("всі" або "деякі"), що відповідають певній умові. Розрізняють К. загальності - V ("всі..., такі що..."), К. існування - 3 ("деякі ..., що...", "існує ..., такий що..."). Різні співвідношення між К. загальності та існування і логічними зв'язками логіки висловлювань формалізуються в численні предикати (див. логіка предикатів).
Ви можете поставити посилання на це слово:

матиме такий вигляд: квантори


матиме такий вигляд: Що таке квантори