Lemmas hutumika kuwezesha uwasilishaji wa nakala zako ili uweze kuziita katika uthibitisho wa kila nadharia. mfululizo huwasilisha matokeo kuu na hutumia uthibitisho sawa wa nadharia. Hakika ni halali! Unaweza hata kutumia taarifa iliyothibitishwa tayari ndani ya uthibitisho wako mwenyewe, kama hatua mahususi.
Je, unahitaji kuthibitisha lema?
Lemma ni matokeo muhimu ambayo yanahitaji kuombwa mara kwa mara ili kuthibitisha nadharia fulani au nyinginezo Kumbuka kuwa wakati mwingine Lemmas inaweza kuwa muhimu zaidi kuliko Nadharia ambazo ziliandikwa hapo awali. kuthibitisha. Pendekezo ni matokeo ya kiufundi ambayo hayahitaji kuombwa mara nyingi kama Lemma.
Mfano wa lemma ni upi?
Lemma ni neno ambalo husimama kwenye kichwa cha ufafanuzi katika kamusi. Vichwa vyote vya maneno katika kamusi ni lemmas. Kitaalam, ni "neno la msingi na vipashio vyake". … Kwa Kiingereza, kwa mfano, kimbia, kimbia na kukimbia ni aina za leksemu sawa, lakini kukimbia ni lemma.
Je, nakala zinahitaji uthibitisho?
Corollary - matokeo ambayo uthibitisho (kwa kawaida mfupi) hutegemea sana nadharia fulani (mara nyingi tunasema kwamba "hii ni muendelezo wa Nadharia A"). Pendekezo - matokeo yaliyothibitishwa na mara nyingi ya kuvutia, lakini kwa ujumla sio muhimu kuliko theorem. … Axiom/Postulate - kauli inayochukuliwa kuwa kweli bila uthibitisho.
Lema muhimu ni nini?
Katika hisabati, mantiki isiyo rasmi na ramani ya hoja, lema (wingi lemmas au lemmata) ni kwa ujumla ni pendekezo ndogo, pendekezo lililothibitishwa ambalo hutumika kama kijiwe cha kuvuka hadi matokeo makubwa.. Kwa sababu hiyo, pia inajulikana kama "nadharia ya kusaidia" au "nadharia msaidizi ".
