{{ويكي|تاريخ=أكتوبر_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 نظرية الاحتمالات - موقع الأرقام]] صغيرة إن صح التعبير—تتخذ للتسديد إلى [[برهان رياضياتي|برهان]] [[مبرهنة]] أهم۔
في حالات مستكثرة، تستطرق لإعطاء البرهان على مبرهنة هذه الطريقة:
- نرود البرهنة على المبرهنة '''''ב''''' من مجموعة من [[بديهيات|البديهيات]] والنتائج التي أعطيت، لكن هذا مبهم من الوهلة الأولى۔
- بيد أنّا، إن عرفنا '''''ס''''' حقّا (إذ أن '''''ס''''' ''ليما'' موكدة)، نسطيع الاستنتاج من فورنا باعتبار قوانين [[منطق]]ية معترف بها۔
- نضع إذن '''''ס''''' كنتيجة كي نبرهن عليها، ونطبق عليها طريقة من الطرائق التي تعطي [[برهان رياضياتي|برهانا رياضياتيا]] للمبرهنة۔
- ما إن نبرهن على '''''ס''''' بتلك الطريقة، نكون إذن قد استخلصنا '''''ב''''' (إن المبدأ نفسه تعمل به [[برهان بالحاسوب|البراهين الحاسوبية]]
[{{كبيبرات|[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:引理]]
المراجع
{{بوابة رياضيات}}
التصانيف
ليما رياضيات|* مصطلحات رياضيات