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