Квантор

Квантор (лат. quantum– қанша) – математикалық логиканың предикаттарын есептеуге қабылданған жалпы атауы. Логикалық операторлар сөйлемнің ішкі логикалық құрамын, яғни мен предикаттың ара қатынасын және логикалық пікірдің сандық сипатын білдіреді. Кванторлардың екі түрі бар: (“барлық”, “әрбір”, т.б. көздердің және оның белгісі х) және (“кейбір”, т.б. сөздердің эквиваленті және оның белгісі х). Мысалы, х жалпылық кванторы “барлық х үшін” дегенді, ал хбар болу кванторы “кейбір х үшін” дегенді білдіреді. “Квантор” терминін америкалық математик, философ (1839 – 1914) енгізген (1885).

Дереккөздер:

1. «Қазақстан»: Ұлттық энцклопедия / Бас редактор Ә. Нысанбаев – Алматы «Қазақ энциклопедиясы» Бас редакциясы, 1998 ISBN 5-89800-123-9, IV том