КВАНТОР барагынын баштапкы кодун көрүү

<b type='title'>КВА&#769;НТОР</b> (лат. quantum – канча) – матем. ло&shy;гиканын <i>предикаттарын</i> эсептөөгө колдонул&shy;ган логикалык операторлордун жалпы аты. Ло&shy;гикалык оператор сүйлөмдүн ички логикалык курамын, жаңы субъекти м-н предикаттын өз ара катышын ж-а логикалык ойдун сандык мү&shy;нөздөмөсүн билдирет. К-дун эки түрү бар: ж а л п ы л ы к К-у («бардык», «ар бири» д. у. с. сөздөрдүн эквиваленти ж-а анын белги&shy;си «'ll<i>х</i> ) ж-а б а р б о л у у К-у («кээ бир»,
«болот» д. у. с. сөздөрдүн эквиваленти ж-а анын белгиси –<i>х</i>). Мис., «'ll<i>х</i> жалпылык К-у «бардык <i>х</i> үчүн» дегенди, ал эми –<i>х</i> бар болуу К-у «кээ
бир <i>х</i> үчүн» дегенди билдирет. «К.» терминин амер. математик, философ Ч. Пирс киргизген (1885).


Ад.: <i>Мендельсон Э.</i> Введение в математическую ло&shy;гику. М., 1984.
[[Категория:4-том, 204-256 бб]]