{{ويكي|تاريخ=أكتوبر_2010}} '''اللِّيمّا'''، '''البرهان الاستدلالي'''، ''اللم'' أو ''البرهان اللمي''[http://www.arabicacademy.org.eg/FrontEnd/SearchResult.aspx?Key=lemma مجمع عربي: مصطلح اللم - الصفحة الثانية] ({{إحراف ملمح|λήμμα|ليمّا}} ب[[يونانية|اليونانية]]{{كبيبرات|[http://users.sch.gr/elscardan/Usefully/mt.pdf - Μαθηματικό Τυπολόγιο]}}) في [[منطق رياضياتي|منطق]] [[رياضيات|الرياضيات]]: مبرهنة تمهيدية[http://www.mathramz.com/xyz/viewtopic.php?f=1&t=5744 مصطلحات - منتدى الرياضيات رمز] لازمة[http://www.mathramz.com/math/Normal_Jone_Lemma لازمة جون - شبكة الرياضيات رمز]—أو معضلة[http://www.alargam.com/maths/mathmatics/m/18.htm نظرية الاحتمالات - موقع الأرقام] صغيرة إن صح التعبير—تتخذ للتسديد إلى [[برهان رياضياتي|برهان]] [[مبرهنة]] أهم۔
    في حالات مستكثرة، تستطرق لإعطاء البرهان على مبرهنة هذه الطريقة:
  1. نرود البرهنة على المبرهنة '''''ב''''' من مجموعة من [[بديهيات|البديهيات]] والنتائج التي أعطيت، لكن هذا مبهم من الوهلة الأولى۔
  2. بيد أنّا، إن عرفنا '''''ס''''' حقّا (إذ أن '''''ס''''' ''ليما'' موكدة)، نسطيع الاستنتاج من فورنا باعتبار قوانين [[منطق]]ية معترف بها۔
  3. نضع إذن '''''ס''''' كنتيجة كي نبرهن عليها، ونطبق عليها طريقة من الطرائق التي تعطي [[برهان رياضياتي|برهانا رياضياتيا]] للمبرهنة۔
  4. ما إن نبرهن على '''''ס''''' بتلك الطريقة، نكون إذن قد استخلصنا '''''ב''''' (إن المبدأ نفسه تعمل به [[برهان بالحاسوب|البراهين الحاسوبية]]{{كبيبرات|[http://www.math.gatech.edu/~belinfan/research/autoreas/ Computer-assisted proof]}}
== ر أيضا == * [[نتاج]] [[تصنيف:ليما رياضيات-r*]] [[تصنيف:مصطلحات رياضيات]] [[bg:Лема]] [[ca:Lema (matemàtiques)]] [[cs:Lemma (matematika)]] [[de:Hilfssatz]] [[en:Lemma (mathematics)]] [[eo:Lemo]] [[es:Lema (matemáticas)]] [[fi:Lemma]] [[fr:Lemme (mathématiques)]] [[he:למה (מתמטיקה)]] [[hi:प्रमेयिका]] [[hu:Lemma]] [[id:Lema (matematika)]] [[it:Lemma (matematica)]] [[lt:Lema]] [[mk:Лема]] [[nl:Hulpstelling]] [[pl:Lemat]] [[pt:Lema (matemática)]] [[ro:Lemă]] [[ru:Лемма]] [[simple:Lemma (mathematics)]] [[sk:Lemma]] [[sv:Lemma]] [[tg:Лемма]] [[th:บทตั้ง]] [[uk:Лема]] [[zh:引理]]

المراجع

{{بوابة رياضيات}}

التصانيف

ليما رياضيات|*  مصطلحات رياضيات