БАРАБАРДЫК АКСИОМАЛАРЫ: нускалардын айырмасы
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> мында φ– каалагандай формула, <math>t | </math> мында φ– каалагандай формула, <math>t | ||
</math> – каралып жаткан тилдин каалагандай терми,<math>x,y,v- | </math> – каралып жаткан тилдин каалагандай терми,<math>x,y,v- | ||
| 5 сап: | 5 сап: | ||
</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(x_1, ...x_i, ...x_n)\Rightarrow P(x_1, ...y_i, ...x_n) | </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>, | ||
08:00, 23 Апрель (Чын куран) 2026 -га соңку нускасы
БАРАБАРДЫК АКСИОМАЛАРЫ – математикалык далилдөөлөрдөгү барабардык катышынын колдонулушун тартиптөөчү аксиомалар. Бул аксиомалар барабардык катышынын рефлексивдүүлүгүн жана теӊди теӊи менен алмаштырууга боло тургандыгын аныктайт. Барабардык аксиомалары символдук түрдө төмөнкүчө жазылат: мында φ– каалагандай формула, – каралып жаткан тилдин каалагандай терми, өзгөрмөлөр. Барабардык аксиомаларынын жардамы менен барабардык катышынын симметриялуулугу, транзиттүүлүгү далилденет. Ал үчүн нин ордуна биринчи учурда , экинчи учурда формуласын алуу керек. Эгер каралып жаткан тилдин формулалары жана термдери логикалык байламталардын жана супер позициялардын жардамы аркылуу атомардык формулалардан жана термдерден түзүлсө, анда келтирилген барабардык аксиомаларын, нин жана нын ордуна атомардык формулалар жана термдер алынганда, алардын жеке учурунан бөлүп алса болот. Символдук түрдө:
,
мында ж-а -орундуу предикаттык ж-а функционалдык символдорду түшүндүрөт.
А. А. Чекеев, С. С. Токсонбаев.