БАРАБАРДЫК АКСИОМАЛАРЫ: нускалардын айырмасы
No edit summary |
No edit summary |
||
| (2 intermediate revisions by one other user not shown) | |||
| 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> мында | </math> мында φ– каалагандай формула, <math>t | ||
</math> – каралып жаткан тилдин каалагандай терми,<math>x,y,v- | </math> – каралып жаткан тилдин каалагандай терми,<math>x,y,v- | ||
</math> өзгөрмөлөр. Барабардык аксиомаларынын жардамы менен барабардык катышынын симметриялуулугу, транзиттүүлүгү далилденет. Ал үчүн <math>\varphi | </math> өзгөрмөлөр. Барабардык аксиомаларынын жардамы менен барабардык катышынын симметриялуулугу, транзиттүүлүгү далилденет. Ал үчүн <math>\varphi | ||
</math> нин ордуна биринчи учурда <math>y= \varphi | </math> нин ордуна биринчи учурда <math>y= \varphi | ||
</math>, экинчи учурда <math>v=z | </math>, экинчи учурда <math>v=z | ||
</math> формуласын алуу керек. Эгер каралып жаткан тилдин формулалары | </math> формуласын алуу керек. Эгер каралып жаткан тилдин формулалары жана термдери логикалык байламталардын жана супер позициялардын жардамы аркылуу атомардык формулалардан жана термдерден түзүлсө, анда келтирилген барабардык аксиомаларын, <math>\varphi | ||
</math> нин | </math> нин жана <math>t | ||
</math> нын ордуна атомардык формулалар жана термдер алынганда, алардын жеке учурунан бөлүп алса болот. Символдук түрдө:<br/><math>x_i=y_i\land P( | </math> нын ордуна атомардык формулалар жана термдер алынганда, алардын жеке учурунан бөлүп алса болот. Символдук түрдө:<br/><math>x_i=y_i\land P(x_1, ...x_i, ...x_n)\Rightarrow P(x_1, ...y_i, ...x_n) | ||
</math>, | </math>, | ||
<math>x_i=y_i\Rightarrow f( | <math>x_i=y_i\Rightarrow f(x_1, ...x_i, ...x_n) = f(x_1, ...y_i, ...x_n), | ||
</math><br />мында <math>P | </math><br />мында <math>P | ||
</math> ж-а <math>f-n | </math> ж-а <math>f-n | ||
</math>-орундуу предикаттык ж-а функционалдык символдорду түшүндүрөт.<br />''А. А. Чекеев, С. С. Токсонбаев.'' | </math>-орундуу предикаттык ж-а функционалдык символдорду түшүндүрөт.<br /> | ||
''А. А. Чекеев, С. С. Токсонбаев.'' | |||
[[Category: 2-том]] | [[Category: 2-том]] | ||
08:00, 23 Апрель (Чын куран) 2026 -га соңку нускасы
БАРАБАРДЫК АКСИОМАЛАРЫ – математикалык далилдөөлөрдөгү барабардык катышынын колдонулушун тартиптөөчү аксиомалар. Бул аксиомалар барабардык катышынын рефлексивдүүлүгүн жана теӊди теӊи менен алмаштырууга боло тургандыгын аныктайт. Барабардык аксиомалары символдук түрдө төмөнкүчө жазылат: мында φ– каалагандай формула, – каралып жаткан тилдин каалагандай терми, өзгөрмөлөр. Барабардык аксиомаларынын жардамы менен барабардык катышынын симметриялуулугу, транзиттүүлүгү далилденет. Ал үчүн нин ордуна биринчи учурда , экинчи учурда формуласын алуу керек. Эгер каралып жаткан тилдин формулалары жана термдери логикалык байламталардын жана супер позициялардын жардамы аркылуу атомардык формулалардан жана термдерден түзүлсө, анда келтирилген барабардык аксиомаларын, нин жана нын ордуна атомардык формулалар жана термдер алынганда, алардын жеке учурунан бөлүп алса болот. Символдук түрдө:
,
мында ж-а -орундуу предикаттык ж-а функционалдык символдорду түшүндүрөт.
А. А. Чекеев, С. С. Токсонбаев.