Кукон давлат педагогика институти


Download 1.53 Mb.
bet96/99
Sana29.11.2020
Hajmi1.53 Mb.
#154681
1   ...   91   92   93   94   95   96   97   98   99
Bog'liq
мат мантик



а=аn(>0)(nN)(n>n0)( аn-а<).

Кщп ъолларда ыандайдир а сони {аn} кетма-кетликни лимити эмаслигини исботлаш талаб этилади.



ааn.

Буни исботлаш учун юыорида келтирилган таoрифнинг инкорини ыуриш керак. бунинг учун предикатлар логикаси ёрдам беради.

()[>0(n0)(n0N(n)(n>n0аn-а<))]

()[(>0)(n0)(n0N(n)(n>n0аn-а<))]

()(>0(n0)(n0N(n)(n>n0аn-а<))]

()(>0(n0)(n0N(n)(n>n0аn-а<))]

()(>0(n0)((n0N)(n)((n>n0)аn-а<))]

()(>0(n0)((n0N)(n)(n>n0)аn-а))]



(>0)(n0N)(n>n0)(аn-а).

Бу формула ыуйдагича щыилади: “а сони берилган аn кетма-кетлик лимити бщлмаслиги учун шундай мусбат  сон мавжуд бщлсаки, хар ыандай n0 натурал сон n>n0 натуал сон топилиб, аn-а щринли бщлиши керак.” Агар берилган кетма-кетлик умуман яыинлашувчи бщлмаса, у ъолда уни ыуйдагича кщринишда ифодалаш мумкин. (а)(ааn).

Бу ъосил ыилинган ифода юыоридагитасдиыыа кщра ыуйдагини аниылайди. (а)(>0)(n0N)(n>n0)(аn-а).

Бу ифода одатда узоылашувчи кетма-кетлик таoрифини англатади.


Download 1.53 Mb.

Do'stlaringiz bilan baham:
1   ...   91   92   93   94   95   96   97   98   99




Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©fayllar.org 2024
ma'muriyatiga murojaat qiling