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