БАРАБАРДЫК АКСИОМАЛАРЫ - Түзөтүүлөр тарыхы

Dilde, 04:09, 27 Март (Жалган куран) 2025 карата

2025-03-27T04:09:24Z

← Мурунку нускасы		04:09, 27 Март (Жалган куран) 2025 -деги абалы
7 сап:		7 сап:
	</math> формуласын алуу керек. Эгер каралып жаткан тилдин формулалары ж-а термдери логикалык байламталардын жана супер позициялардын жардамы аркылуу атомардык формулалардан жана термдерден түзүлсө, анда келтирилген барабардык аксиомаларын, <math>\varphi		</math> формуласын алуу керек. Эгер каралып жаткан тилдин формулалары ж-а термдери логикалык байламталардын жана супер позициялардын жардамы аркылуу атомардык формулалардан жана термдерден түзүлсө, анда келтирилген барабардык аксиомаларын, <math>\varphi
	</math> нин ж-а <math>t		</math> нин ж-а <math>t
	</math> нын ордуна атомардык формулалар жана термдер алынганда, алардын жеке учурунан бөлүп алса болот. Символдук түрдө:<br/><math>x_i=y_i\land P(~~x_i~~, ...x_i, ...x_n)\Rightarrow P(~~x_i~~, ...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>,

	<math>x_i=y_i\Rightarrow f(~~x_i~~, ...x_i, ...x_n) = f(~~x_i~~, ...y_i, ...x_n),		<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

Dilde, 10:13, 5 Февраль (Бирдин айы) 2025 карата

2025-02-05T10:13:10Z

← Мурунку нускасы		10:13, 5 Февраль (Бирдин айы) 2025 -деги абалы
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-том]]

Бекзат, 08:36, 11 Декабрь (Бештин айы) 2024 карата

2024-12-11T08:36:47Z

← Мурунку нускасы		08:36, 11 Декабрь (Бештин айы) 2024 -деги абалы
1 сап:		1 сап:
	'''БАРАБАРДЫК АКСИОМАЛАРЫ – ''' математикалык далилдөөлөрдөгү барабардык катышынын колдонулушун тартиптөөчү аксиомалар. Бул аксиомалар барабардык катышынын рефлексивдүүлүгүн жана теӊди теӊи менен алмаштырууга боло тургандыгын аныктайт. Барабардык аксиомалары символдук түрдө төмөнкүчө жазылат: ~~''х~~=х, х=~~у􀀏􀀆~~ (y/􀀇)􀂟􀀆(х/􀀇), х=~~y􀂟t~~(y/􀀇)􀂟t(x''/􀀇), мында ~~􀀆􀀁–~~ каалагандай формула, ''t'' – каралып жаткан тилдин каалагандай терми, ~~''х~~, у,~~'' 􀀇 –~~ өзгөрмөлөр. Барабардык аксиомаларынын жардамы менен барабардык катышынын симметриялуулугу, транзиттүүлүгү далилденет. Ал үчүн 􀀆 нин ордуна биринчи учурда ~~''у''~~=􀀆, экинчи учурда 􀀇=z формуласын алуу керек. Эгер каралып жаткан тилдин формулалары ж-а термдери логикалык байламталардын жана супер позициялардын жардамы аркылуу атомардык формулалардан жана термдерден түзүлсө, анда келтирилген барабардык аксиомаларын, 􀀆 нин ж-а ''t'' нын ордуна атомардык формулалар жана термдер алынганда, алардын жеке учурунан бөлүп алса болот. Символдук түрдө:<br/>~~''х<sub>i~~<~~/sub~~> = ~~y<sub>i</sub> 􀀏~~ P (~~х''<sub>1</sub>~~, ...~~''х<sub>i~~, ...~~</sub>х<sub>n~~) ~~􀂟</sub>~~P (~~х''<sub>1</sub>~~, ...~~''у<sub>i~~, ...</~~sub~~>~~х<sub>n'')~~,<~~br/>''х<sub>i</sub~~> = ~~y<sub>i</sub> 􀂟~~ f (~~х''<sub>1</sub>~~, ...~~''х<sub>i~~, ...~~</sub>х<sub>n~~) ~~􀀃 </sub>~~f (~~х''<sub>1</sub>~~, ...~~''у<sub>i~~, ...</~~sub>х<sub~~>~~n''),~~<br/>мында ''P'' ж-а ''f – n''-орундуу предикаттык ж-а функционалдык символдорду түшүндүрөт.<br/>''А. А. Чекеев, С. С. Токсонбаев.''		'''БАРАБАРДЫК АКСИОМАЛАРЫ – ''' математикалык далилдөөлөрдөгү барабардык катышынын колдонулушун тартиптөөчү аксиомалар. Бул аксиомалар барабардык катышынын рефлексивдүүлүгүн жана теӊди теӊи менен алмаштырууга боло тургандыгын аныктайт. Барабардык аксиомалары символдук түрдө төмөнкүчө жазылат: <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>x,y,v-
			</math> өзгөрмөлөр. Барабардык аксиомаларынын жардамы менен барабардык катышынын симметриялуулугу, транзиттүүлүгү далилденет. Ал үчүн <math>\varphi
			</math> нин ордуна биринчи учурда <math>y= \varphi
			</math>, экинчи учурда <math>v=z
			</math> формуласын алуу керек. Эгер каралып жаткан тилдин формулалары ж-а термдери логикалык байламталардын жана супер позициялардын жардамы аркылуу атомардык формулалардан жана термдерден түзүлсө, анда келтирилген барабардык аксиомаларын, <math>\varphi
			</math> нин ж-а <math>t
			</math> нын ордуна атомардык формулалар жана термдер алынганда, алардын жеке учурунан бөлүп алса болот. Символдук түрдө:<br/><math>x_i=y_i\land P(x_i, ...x_i, ...x_n)\Rightarrow P(x_i, ...y_i, ...x_n)
			</math>,

			<math>x_i=y_i\Rightarrow f(x_i, ...x_i, ...x_n) = f(x_i, ...y_i, ...x_n),
			</math><br />мында <math>P
			</math> ж-а <math>f-n
			</math>-орундуу предикаттык ж-а функционалдык символдорду түшүндүрөт.<br />''А. А. Чекеев, С. С. Токсонбаев.''
	[[Category: 2-том]]		[[Category: 2-том]]

Dilde, 09:37, 26 Ноябрь (Жетинин айы) 2024 карата

2024-11-26T09:37:25Z

← Мурунку нускасы		09:37, 26 Ноябрь (Жетинин айы) 2024 -деги абалы
1 сап:		1 сап:
	'''БАРАБАРДЫК АКСИОМАЛАРЫ – ''' математикалык далилдөөлөрдөгү барабардык катышынын колдонулушун тартиптөөчү аксиомалар. Бул аксиомалар барабардык катышынын рефлексивдүүлүгүн жана теӊди теӊи менен алмаштырууга боло тургандыгын аныктайт. Барабардык аксиомалары символдук түрдө төмөнкүчө жазылат: ''х=х, х=у􀀏􀀆 (y/􀀇)􀂟􀀆(х/􀀇), х=y􀂟t(y/􀀇)􀂟t(x''/􀀇), мында 􀀆􀀁– каалагандай формула, ''t'' – каралып жаткан~~<br/>~~тилдин каалагандай терми, ''х, у,'' 􀀇 – өзгөрмөлөр. Барабардык аксиомаларынын жардамы менен барабардык катышынын симметриялуулугу, транзиттүүлүгү далилденет. Ал үчүн 􀀆 нин ордуна биринчи учурда ''у''=􀀆, экинчи учурда 􀀇=z формуласын алуу керек. Эгер каралып жаткан тилдин формулалары ж-а термдери логикалык байламталардын жана супер позициялардын жардамы аркылуу атомардык формулалардан жана термдерден түзүлсө, анда келтирилген барабардык аксиомаларын, 􀀆 нин ж-а ''t'' нын ордуна атомардык формулалар жана термдер алынганда, алардын жеке учурунан бөлүп алса болот. Символдук түрдө:<br/>''х<sub>i</sub> = y<sub>i</sub> 􀀏 P (х''<sub>1</sub>, ...''х<sub>i, ...</sub>х<sub>n) 􀂟</sub>P (х''<sub>1</sub>, ...''у<sub>i, ...</sub>х<sub>n''),<br/>''х<sub>i</sub> = y<sub>i</sub> 􀂟 f (х''<sub>1</sub>, ...''х<sub>i, ...</sub>х<sub>n) 􀀃 </sub>f (х''<sub>1</sub>, ...''у<sub>i, ...</sub>х<sub>n''),<br/>мында ''P'' ж-а ''f – n''-орундуу предикаттык ж-а функционалдык символдорду түшүндүрөт.<br/>''А. А. Чекеев, С. С. Токсонбаев.''		'''БАРАБАРДЫК АКСИОМАЛАРЫ – ''' математикалык далилдөөлөрдөгү барабардык катышынын колдонулушун тартиптөөчү аксиомалар. Бул аксиомалар барабардык катышынын рефлексивдүүлүгүн жана теӊди теӊи менен алмаштырууга боло тургандыгын аныктайт. Барабардык аксиомалары символдук түрдө төмөнкүчө жазылат: ''х=х, х=у􀀏􀀆 (y/􀀇)􀂟􀀆(х/􀀇), х=y􀂟t(y/􀀇)􀂟t(x''/􀀇), мында 􀀆􀀁– каалагандай формула, ''t'' – каралып жаткан тилдин каалагандай терми, ''х, у,'' 􀀇 – өзгөрмөлөр. Барабардык аксиомаларынын жардамы менен барабардык катышынын симметриялуулугу, транзиттүүлүгү далилденет. Ал үчүн 􀀆 нин ордуна биринчи учурда ''у''=􀀆, экинчи учурда 􀀇=z формуласын алуу керек. Эгер каралып жаткан тилдин формулалары ж-а термдери логикалык байламталардын жана супер позициялардын жардамы аркылуу атомардык формулалардан жана термдерден түзүлсө, анда келтирилген барабардык аксиомаларын, 􀀆 нин ж-а ''t'' нын ордуна атомардык формулалар жана термдер алынганда, алардын жеке учурунан бөлүп алса болот. Символдук түрдө:<br/>''х<sub>i</sub> = y<sub>i</sub> 􀀏 P (х''<sub>1</sub>, ...''х<sub>i, ...</sub>х<sub>n) 􀂟</sub>P (х''<sub>1</sub>, ...''у<sub>i, ...</sub>х<sub>n''),<br/>''х<sub>i</sub> = y<sub>i</sub> 􀂟 f (х''<sub>1</sub>, ...''х<sub>i, ...</sub>х<sub>n) 􀀃 </sub>f (х''<sub>1</sub>, ...''у<sub>i, ...</sub>х<sub>n''),<br/>мында ''P'' ж-а ''f – n''-орундуу предикаттык ж-а функционалдык символдорду түшүндүрөт.<br/>''А. А. Чекеев, С. С. Токсонбаев.''
	[[Category: 2-том]]		[[Category: 2-том]]

Temirkan: Temirkan moved page БАРАБАРДЫК АКСИОМАЛАРЫ – to БАРАБАРДЫК АКСИОМАЛАРЫ

2024-04-04T09:35:28Z

Temirkan moved page БАРАБАРДЫК АКСИОМАЛАРЫ – to БАРАБАРДЫК АКСИОМАЛАРЫ

← Мурунку нускасы	09:35, 4 Апрель (Чын куран) 2024 -деги абалы
(Айырма жок)

Temirkan, 09:34, 4 Апрель (Чын куран) 2024 карата

2024-04-04T09:34:54Z

← Мурунку нускасы		09:34, 4 Апрель (Чын куран) 2024 -деги абалы
1 сап:		1 сап:
	'''БАРАБАРДЫК АКСИОМАЛАРЫ – ''' ~~мат.~~ далилдөөлөрдөгү барабардык катышынын колдонулушун тартиптөөчү аксиомалар. Бул аксиомалар барабардык катышынын рефлексивдүүлүгүн ~~ж-а~~ теӊди теӊи ~~м-н~~ алмаштырууга боло тургандыгын аныктайт. Барабардык аксиомалары символдук түрдө төмөнкүчө жазылат: ''х=х, х=у􀀏􀀆 (y/􀀇)􀂟􀀆(х/􀀇), х=y􀂟t(y/􀀇)􀂟t(x''/􀀇), мында 􀀆􀀁– каалагандай формула, ''t'' – каралып жаткан		'''БАРАБАРДЫК АКСИОМАЛАРЫ – ''' математикалык далилдөөлөрдөгү барабардык катышынын колдонулушун тартиптөөчү аксиомалар. Бул аксиомалар барабардык катышынын рефлексивдүүлүгүн жана теӊди теӊи менен алмаштырууга боло тургандыгын аныктайт. Барабардык аксиомалары символдук түрдө төмөнкүчө жазылат: ''х=х, х=у􀀏􀀆 (y/􀀇)􀂟􀀆(х/􀀇), х=y􀂟t(y/􀀇)􀂟t(x''/􀀇), мында 􀀆􀀁– каалагандай формула, ''t'' – каралып жаткан<br/>тилдин каалагандай терми, ''х, у,'' 􀀇 – өзгөрмөлөр. Барабардык аксиомаларынын жардамы менен барабардык катышынын симметриялуулугу, транзиттүүлүгү далилденет. Ал үчүн 􀀆 нин ордуна биринчи учурда ''у''=􀀆, экинчи учурда 􀀇=z формуласын алуу керек. Эгер каралып жаткан тилдин формулалары ж-а термдери логикалык байламталардын жана супер позициялардын жардамы аркылуу атомардык формулалардан жана термдерден түзүлсө, анда келтирилген барабардык аксиомаларын, 􀀆 нин ж-а ''t'' нын ордуна атомардык формулалар жана термдер алынганда, алардын жеке учурунан бөлүп алса болот. Символдук түрдө:<br/>''х<sub>i</sub> = y<sub>i</sub> 􀀏 P (х''<sub>1</sub>, ...''х<sub>i, ...</sub>х<sub>n) 􀂟</sub>P (х''<sub>1</sub>, ...''у<sub>i, ...</sub>х<sub>n''),<br/>''х<sub>i</sub> = y<sub>i</sub> 􀂟 f (х''<sub>1</sub>, ...''х<sub>i, ...</sub>х<sub>n) 􀀃 </sub>f (х''<sub>1</sub>, ...''у<sub>i, ...</sub>х<sub>n''),<br/>мында ''P'' ж-а ''f – n''-орундуу предикаттык ж-а функционалдык символдорду түшүндүрөт.<br/>''А. А. Чекеев, С. С. Токсонбаев.''
	<br/>тилдин каалагандай терми, ''х, у,'' 􀀇 – өзгөрмөлөр. ~~Б. а-нын~~ жардамы ~~м-н~~ барабардык катышынын симметриялуулугу, транзиттүүлүгү далилденет. Ал үчүн 􀀆 нин ордуна биринчи учурда ''у''=􀀆, экинчи учурда 􀀇=z формуласын алуу керек. Эгер каралып жаткан тилдин формулалары ж-а термдери логикалык байламталардын ~~ж-а~~ супер позициялардын жардамы аркылуу атомардык формулалардан ~~ж-а~~ термдерден түзүлсө, анда келтирилген барабардык аксиомаларын, 􀀆 нин ж-а ''t'' нын ордуна атомардык формулалар ~~ж-а~~ термдер алынганда, алардын жеке учурунан бөлүп алса болот. Символдук түрдө:
	<br/>''х<sub>i</sub> = y<sub>i</sub> 􀀏 P (х''<sub>1</sub>, ...''х<sub>i, ...</sub>х<sub>n) 􀂟</sub>P (х''<sub>1</sub>, ...''у<sub>i, ...</sub>х<sub>n''~~</sub>~~),
	<br/>''х<sub>i</sub> = y<sub>i</sub> 􀂟 f (х''<sub>1</sub>, ...''х<sub>i, ...</sub>х<sub>n) 􀀃 </sub>f (х''<sub>1</sub>, ...''у<sub>i, ...</sub>х<sub>n''~~</sub>~~),
	<br/>мында ''P'' ж-а ''f – n''-орундуу предикаттык ж-а функционалдык символдорду түшүндүрөт.
	<br/>''А. А. Чекеев, С. С. Токсонбаев.''
	[[Category: 2-том]]		[[Category: 2-том]]

vol2_>KadyrM, 11:02, 29 Март (Жалган куран) 2024 карата

2024-03-29T11:02:45Z

← Мурунку нускасы	11:02, 29 Март (Жалган куран) 2024 -деги абалы
(Айырма жок)

Kadyrm: 1 версия

2024-03-29T05:07:48Z

1 версия

Жаңы барак

'''БАРАБАРДЫК АКСИОМАЛАРЫ – ''' мат. далилдөөлөрдөгү барабардык катышынын колдонулушун тартиптөөчү аксиомалар. Бул аксиомалар барабардык катышынын рефлексивдүүлүгүн ж-а теӊди теӊи м-н алмаштырууга боло тургандыгын аныктайт. Барабардык аксиомалары символдук түрдө төмөнкүчө жазылат: ''х=х, х=у􀀏􀀆 (y/􀀇)􀂟􀀆(х/􀀇), х=y􀂟t(y/􀀇)􀂟t(x''/􀀇), мында 􀀆􀀁– каалагандай формула, ''t'' – каралып жаткан
 тилдин каалагандай терми, ''х, у,'' 􀀇 – өзгөрмөлөр. Б. а-нын жардамы м-н барабардык катышынын симметриялуулугу, транзиттүүлүгү далилденет. Ал үчүн 􀀆 нин ордуна биринчи учурда ''у''=􀀆, экинчи учурда 􀀇=z формуласын алуу керек. Эгер каралып жаткан тилдин формулалары ж-а термдери логикалык байламталардын ж-а супер позициялардын жардамы аркылуу атомардык формулалардан ж-а термдерден түзүлсө, анда келтирилген барабардык аксиомаларын, 􀀆 нин ж-а ''t'' нын ордуна атомардык формулалар ж-а термдер алынганда, алардын жеке учурунан бөлүп алса болот. Символдук түрдө:
 ''хi = yi 􀀏 P (х''1, ...''хi, ...хn) 􀂟P (х''1, ...''уi, ...хn''),
 ''хi = yi 􀂟 f (х''1, ...''хi, ...хn) 􀀃 f (х''1, ...''уi, ...хn''),
 мында ''P'' ж-а ''f – n''-орундуу предикаттык ж-а функционалдык символдорду түшүндүрөт.
 ''А. А. Чекеев, С. С. Токсонбаев.''
[[Category: 2-том]]