Квантор

Квантор (– қанша) – математикалық логиканың предикаттарын есептеуге қабылданған логикалық операторлардың жалпы атауы. Логикалық операторлар сөйлемнің ішкі логикалық құрамын, яғни субъекті мен предикаттың ара қатынасын және логикалық пікірдің сандық сипатын білдіреді. Кванторлардың екі түрі бар: жалпылық кванторы (“барлық”, “әрбір”, т.б. көздердің эквиваленті және оның белгісі х) және бар болу кванторы (“кейбір”, т.б. сөздердің эквиваленті және оның белгісі х). Мысалы, х жалпылық кванторы “барлық х үшін” дегенді, ал хбар болу кванторы “кейбір х үшін” дегенді білдіреді. “Квантор” терминін америкалық математик, философ Ч.Пирс (1839 – 1914) енгізген (1885).«Қазақстан»: Ұлттық энцклопедия / Бас редактор Ә. Нысанбаев – Алматы «Қазақ энциклопедиясы» Бас редакциясы, 1998 ISBN 5-89800-123-9, IV том

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