БАРАБАРДЫК АКСИОМАЛАРЫ: нускалардын айырмасы

Кыргызстан Энциклопедия жана Терминология Борбору дан
Навигацияга өтүү Издөөгө өтүү
No edit summary
No edit summary
 
1 сап: 1 сап:
'''БАРАБАРДЫК АКСИОМАЛАРЫ – ''' математикалык далилдөөлөрдөгү барабардык катышынын колдонулушун тартиптөөчү аксиомалар. Бул аксиомалар барабардык катышынын рефлексивдүүлүгүн жана теӊди теӊи менен алмаштырууга боло тургандыгын аныктайт. Барабардык аксиомалары символдук түрдө төмөнкүчө жазылат: <math>x=x,x=y \land \varphi (y/v)\Rightarrow \varphi(x/v),x=y\Rightarrow t (y/v) \Rightarrow t=(x/v),
'''БАРАБАРДЫК АКСИОМАЛАРЫ – ''' математикалык далилдөөлөрдөгү барабардык катышынын колдонулушун тартиптөөчү аксиомалар. Бул аксиомалар барабардык катышынын рефлексивдүүлүгүн жана теӊди теӊи менен алмаштырууга боло тургандыгын аныктайт. Барабардык аксиомалары символдук түрдө төмөнкүчө жазылат: <math>x=x,x=y \land \varphi (y/v)\Rightarrow \varphi(x/v),x=y\Rightarrow t (y/v) \Rightarrow t=(x/v),
</math> мында <math>P</math> жана <math>f-n</math>– каалагандай формула, <math>t
</math> мында φ– каалагандай формула, <math>t
</math> – каралып жаткан тилдин каалагандай терми,<math>x,y,v-
</math> – каралып жаткан тилдин каалагандай терми,<math>x,y,v-
</math> өзгөрмөлөр. Барабардык аксиомаларынын жардамы менен барабардык катышынын симметриялуулугу, транзиттүүлүгү далилденет. Ал үчүн <math>\varphi
</math> өзгөрмөлөр. Барабардык аксиомаларынын жардамы менен барабардык катышынын симметриялуулугу, транзиттүүлүгү далилденет. Ал үчүн <math>\varphi
13 сап: 13 сап:
</math><br />мында <math>P
</math><br />мында <math>P
</math> ж-а <math>f-n
</math> ж-а <math>f-n
</math>-орундуу предикаттык ж-а функционалдык символдорду түшүндүрөт.<br />''А. А. Чекеев, С. С. Токсонбаев.''
</math>-орундуу предикаттык ж-а функционалдык символдорду түшүндүрөт.<br />
 
''А. А. Чекеев, С. С. Токсонбаев.''
[[Category: 2-том]]
[[Category: 2-том]]

10:13, 5 Февраль (Бирдин айы) 2025 -га соңку нускасы

БАРАБАРДЫК АКСИОМАЛАРЫ – математикалык далилдөөлөрдөгү барабардык катышынын колдонулушун тартиптөөчү аксиомалар. Бул аксиомалар барабардык катышынын рефлексивдүүлүгүн жана теӊди теӊи менен алмаштырууга боло тургандыгын аныктайт. Барабардык аксиомалары символдук түрдө төмөнкүчө жазылат: мында φ– каалагандай формула, – каралып жаткан тилдин каалагандай терми, өзгөрмөлөр. Барабардык аксиомаларынын жардамы менен барабардык катышынын симметриялуулугу, транзиттүүлүгү далилденет. Ал үчүн нин ордуна биринчи учурда , экинчи учурда формуласын алуу керек. Эгер каралып жаткан тилдин формулалары ж-а термдери логикалык байламталардын жана супер позициялардын жардамы аркылуу атомардык формулалардан жана термдерден түзүлсө, анда келтирилген барабардык аксиомаларын, нин ж-а нын ордуна атомардык формулалар жана термдер алынганда, алардын жеке учурунан бөлүп алса болот. Символдук түрдө:
,


мында ж-а -орундуу предикаттык ж-а функционалдык символдорду түшүндүрөт.

А. А. Чекеев, С. С. Токсонбаев.