КВАНТОР: нускалардын айырмасы
vol4>KadyrM No edit summary |
No edit summary |
||
| (One intermediate revision by one other user not shown) | |||
| 1 сап: | 1 сап: | ||
<b type='title'>КВА́НТОР</b> (лат. quantum – канча) – | <b type='title'>КВА́НТОР</b> (лат. quantum – канча) – математикалык ло­гиканын <i>предикаттарын</i> эсептөөгө колдонул­ган логикалык операторлордун жалпы аты. Ло­гикалык оператор сүйлөмдүн ички логикалык курамын, жаңы субъекти м-н предикаттын өз ара катышын ж-а логикалык ойдун сандык мү­нөздөмөсүн билдирет. Квантордун эки түрү бар: ж а л п ы л ы к квантору («бардык», «ар бири» д. у. с. сөздөрдүн эквиваленти ж-а анын белги­си «'ll<i>х</i> ) ж-а б а р б о л у у квантору («кээ бир», «болот» д. у. с. сөздөрдүн эквиваленти ж-а анын белгиси –<i>х</i>). Мисалы, «'ll<i>х</i> жалпылык квантору «бардык <i>х</i> үчүн» дегенди, ал эми –<i>х</i> бар болуу квантору «кээ бир <i>х</i> үчүн» дегенди билдирет. «Квантор» терминин америкалык математик, философ Ч. Пирс киргизген (1885). | ||
«болот» д. у. с. сөздөрдүн эквиваленти ж-а анын белгиси –<i>х</i>). | |||
бир <i>х</i> үчүн» дегенди билдирет. | |||
Ад.: <i>Мендельсон Э.</i> Введение в математическую ло­гику. М., 1984. | Ад.: <i>Мендельсон Э.</i> Введение в математическую ло­гику. М., 1984. | ||
[[Категория:4-том, 204-256 бб]] | [[Категория:4-том, 204-256 бб]] | ||
05:26, 12 Декабрь (Бештин айы) 2025 -га соңку нускасы
КВА́НТОР (лат. quantum – канча) – математикалык логиканын предикаттарын эсептөөгө колдонулган логикалык операторлордун жалпы аты. Логикалык оператор сүйлөмдүн ички логикалык курамын, жаңы субъекти м-н предикаттын өз ара катышын ж-а логикалык ойдун сандык мүнөздөмөсүн билдирет. Квантордун эки түрү бар: ж а л п ы л ы к квантору («бардык», «ар бири» д. у. с. сөздөрдүн эквиваленти ж-а анын белгиси «'llх ) ж-а б а р б о л у у квантору («кээ бир», «болот» д. у. с. сөздөрдүн эквиваленти ж-а анын белгиси –х). Мисалы, «'llх жалпылык квантору «бардык х үчүн» дегенди, ал эми –х бар болуу квантору «кээ бир х үчүн» дегенди билдирет. «Квантор» терминин америкалык математик, философ Ч. Пирс киргизген (1885).
Ад.: Мендельсон Э. Введение в математическую логику. М., 1984.