"Квантор" барагынын кодун көрүү

'''Квантор''' (латынча quantum – канча) – математикалык логиканын предикаттарын эсептөөгө колдонулган логикалык операторлордун жалпы аты. Логикалык оператор сүйлөмдүн ички логикалык курамын, жаңы субъекти менен предикаттын өз ара катышын жана логикалык ойдун сандык мүнөздөмөсүн билдирет. Квантатордун эки түрү бар: жалпылык квантатору («бардык», «ар бири» дагы ушу сыяктуу сөздөрдүн эквиваленти жана анын белгиси «<math>\forall </math>х) жана бар болуу квантатору («кээ бир», «болот» дагы ушу сыяктуу сөздөрдүн эквиваленти жана анын белгиси <math>\exists </math>х). Мисалы, «<math>\forall </math>х жалпылык квантатору «бардык х үчүн» дегенди, ал эми <math>\exists </math>х бар болуу квантатору «кээ бир х үчүн» дегенди билдирет. «Квантатор» терминин америкалык математик, философ Ч. Пирс киргизген (1885). 
[[Категория:Терминдер жана түшүнүктөр]]
==Колдонулган адабияттар==
* [[“Кыргызстан” улуттук энциклопедиясы]]: 4-том. Башкы редактору Асанов Ү. А. К 97. Б.: Мамлекеттик тил жана энциклопедия борбору, 2012. 832 бет, илл. ISBN 978 9967-14-104 -9