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