Квантор існування
квантор існування — — [http://www.iks media.ru/glossary/index.html?gloss >Довідник технічного перекладача
Квантор існування — У предикатній логіці, квантор існування (екзистенційний квантифікатор) це предикат властивості або відношення для принаймні одного елемента області визначення. Він позначається як символ логічного оператора ∃ (вимовляється як … Вікіпедія
квантор існування - egzistavimo kvantorius statusas T sritis automatika atitikmenys: angl. existential quantifier vok. Existenzquantor, m rus. квартира існування, m pranc. quantifier d existence, m … Automatikos terminų žodynas
Квантор загальності - Квантор загальності (позначення: , ∀) це умова, яка вірна для всіх позначених елементів, на відміну від квантора існування, де умова вірна тільки для якихось окремих із зазначених чисел. Формально кажучи, це квантор, ... Вікіпедія
Квантор — Квантор загальна назва для логічних операцій, що обмежують область істинності якогось предикату і створюють висловлювання. Найчастіше згадують: Квантор загальності (позначення: , Читається: «для всіх…», «для кожного…» або «кожен…» … Вікіпедія
Квантор спільноти - Не плутати з: Кантор прізвище, Кантор, Георг Фердинанд Людвіг Філіп відомий математик Квантор загальна назва для логічних операцій, що обмежують область істинності якогось предикату. Найчастіше згадують квантор загальності (позначення … Вікіпедія
КВАНТОР — загальна назва для логічних операцій, які за предикатом Р(х) будують висловлювання, що характеризує область істинності предикату Р(х). У математич. логіці найбільш уживані квантор загальності та квантор існування Висловлювання означає, що …Математична енциклопедія
Квантор — (від латів. quantum скільки) символ, що використовується для позначення деяких операцій математичної логіки, одночасно логічна операція, що дає кількісну характеристику області предметів, до яких відноситься вираз, одержуваний у початках сучасного природознавства.
КВАНТОР - логічний оператор, за допомогою якого висловлювання про к. л. окремому об'єкті перетворюється на висловлювання про сукупність (безліч) таких об'єктів. У логіці використовується два основних До.: До. спільності, "V", і До. існування, "Е". У ... Філософська енциклопедія
квантор - (лат. quantum скільки) символ математичної логіки; логічна операція, що дає кількісну характеристику області предметів, яких відноситься вираз, одержуване внаслідок її застосування. Новий словник іншомовних слів. by EdwART, ,… … Словник іноземних слів української мови
Квантор - (від латів. quantum скільки) логічна операція, що дає кількісну характеристику області предметів, до якої відноситься вираз, одержуване в результаті її застосування. У звичайній мові носіями таких характеристик служать слова типу ... Велика радянська енциклопедія