آخر الأخبار
البرهان الرياضي
برهان رياضي
Mathematical reasoning - Raisonnement mathématique
البرهان الرياضي
إن برهان Raisonnement قضية «رياضية» هو سلسلة منتهية من التحويلات تقود إلى القضية انطلاقاً من قضايا صحيحة (مبرهنات) أو يفترض أنها صحيحة (موضوعات) بمساعدة قواعد استنتاج صحيحة، وبرهان (إثبات) مُبرهنةٍ ما هو استنتاجُ المطلوبِ انطلاقاً من فروض معطاة وبمساعدة قواعد استنتاج صحيحة.
وعندما يراد إثبات قضية رياضية يستحسن، في حال الإمكان، وضعها في صيغة اقتضاء ق ¬ ك، إن ذلك يتيح صياغة عكس هذه القضية بسهولة. يسمى العنصر الأيمن (المقدم) «ق» في الاقتضاء فرضاً، ويسمى العنصر الأيسر (التالي) «ك» طلباً. وعلى سبيل المثال تكتب المبرهنة: في كل متوازي أضلاع: ينصف كل من القطرين القطر الآخر، في صيغة اقتضاء كما يأتي: إذا كان الرباعي متوازي أضلاع، فإن قطريه ينصِّف كل منهما الآخر. فالفرض هو أن الرباعي متوازي الأضلاع، والطلب هو أن ينصف كل من قطريه القطر الآخر.
طرائق البرهان
هناك طريقتان رئيستان للبرهان: البرهان المباشر وينضوي تحته الاستقراء التام، والبرهان غير المباشر.
أ ـ البرهان المباشر: وفيه يكون الانطلاق من فروض قُبلت على أنها حقيقة (صحيحة) وبالاستعانة بمبرهنات سابقة وبقواعد استنتاج صحيحة وبعد عدد منته من الخطوات يُتوصَّل إلى الطلب.
ب ـ البرهان التدريجي: ويسمى عادة البرهان بالاستقراء التام (الاستقراء الرياضي). وتنص مبرهنة الاستقراء التام على ما يأتي: إذا كان ن متغيراً على مجموعة الأعداد الطبيعية وكانت ق(ن) قضية (جملة مفتوحة) يكون فيها ن المتغير الوحيد،
ـ وإذا كانت ق(0) صحيحة،
ـ وإذا أمكن إثبات صحة ق(ن+1) بفرض أن ق(ن) صحيحة مهما كان العدد الطبيعي ن،
فعندئذ تكون ق(ن) صحيحة من أجل جميع الأعداد الطبيعية.
يمكن تعديل مبرهنة الاستقراء التام لتكون على النحو الآتي:
إذا كانت ق(ن) صحيحة في حالة عدد طبيعي ن5.
وإذا أمكن إثبات صحة ق(ن+1) بفرض أن ق(ن) صحيحة مهما كان العدد الطبيعي ن،
فعندئذ تكون ق(ن) صحيحة في حالة جميع الأعداد الطبيعية التي هي £ن5.
حـ ـ البرهان غير المباشر: يُحدَّد في البرهان غير المباشر، كما في أي برهان، الفرض والطلب أولاً، ثم يُؤتى بالبرهان بعد ذلك.
وللقيام بالبرهان يكون الانطلاق من افتراض أن نفي الطلب صحيح والوصول من ذلك، وبالاستعانة بقواعد الاستنتاج الصحيحة، إلى أن نفي الفرض صحيح (وهذا ما يسمى خُلْفاً). ولمّا كانت القضية ونفيُها لا تصحّان في آن واحد، كان لابد أن يكون الطلب صحيحاً. باستعمال الرموز: إن برهان صحة الاقتضاء ق ¬ ك يكون ببرهان صحة الاقتضاء (نفي ك ¬نفي ق).
تستعمل هذه الطريقة كثيراً في الحياة اليومية، فإثبات صحة القضية «إذا هطل المطر ابتلّت الأرض» يكافئ إثبات صحة القضية «إذا لم تبتل الأرض فإن المطر لم يهطل»، وإثبات صحة القول «إذا كان المدير موجوداً فإن سيارته تكون واقفة أمام المبنى» يكافىء إثبات صحة القول «إذا لم تكن سيارة المدير واقفة أمام المبنى فإنه غير موجود».
البرهان الموضوعاتي
إن هذا النمط من البرهان لا يقع في التصنيف المنطقي وإنما في حقل التطبيق، فقد يكون هذا البرهان مباشراً أو غير مباشر. ويهدف هذا البرهان إلى استخلاص جميع النتائج المنطقية لنظام موضوعاتي بصفة مجردة. وتكون النتائج المستخلصة خواصَّ لعناصر المجموعة التي تَعَرَّفها نظامُ الموضوعات.
وتستعمل الطريقة الموضوعاتية كثيراً في الرياضيات، إذ يُحاول أن يُعطى كل تعريف الشكل الأكثر تناسقاً واختزالاً ووضوحاً.
موفق دعبول
الموضوعات ذات الصلة |
الأعداد الطبيعية، الزمرة، الطبولوجية، المجموعة، المنطق، الموضوعاتية (طريقة).
مراجع للاستزادة |
ـ برتران رسل، أصول الرياضيات (ترجمة محمد مرسي أحمد، أحمد فؤاد الأهواني (دار المعارف بمصر 1965).
- P.R. Hamos, Introduction á la théorie des ensembles, Mouton et Gauthier - villars 1967.
- M. Baginski, G. schwanitz, W. Glaewe, P. Goll, Einführung indie mathematische Logik. (Volk und wissen, Volkseigener verlag Berlin 1972).
- التصنيف : الرياضيات و الفلك - النوع : علوم - المجلد : المجلد الرابع - رقم الصفحة ضمن المجلد : 931 مشاركة :
متنوع
البحوث الأكثر قراءة
هل تعلم؟
- - هل تعلم أن الأبلق نوع من الفنون الهندسية التي ارتبطت بالعمارة الإسلامية في بلاد الشام ومصر خاصة، حيث يحرص المعمار على بناء مداميكه وخاصة في الواجهات
- - هل تعلم أن الإبل تستطيع البقاء على قيد الحياة حتى لو فقدت 40% من ماء جسمها ويعود ذلك لقدرتها على تغيير درجة حرارة جسمها تبعاً لتغير درجة حرارة الجو،
- - هل تعلم أن أبقراط كتب في الطب أربعة مؤلفات هي: الحكم، الأدلة، تنظيم التغذية، ورسالته في جروح الرأس. ويعود له الفضل بأنه حرر الطب من الدين والفلسفة.
- - هل تعلم أن المرجان إفراز حيواني يتكون في البحر ويتركب من مادة كربونات الكلسيوم، وهو أحمر أو شديد الحمرة وهو أجود أنواعه، ويمتاز بكبر الحجم ويسمى الش
- هل تعلم أن الأبسيد كلمة فرنسية اللفظ تم اعتمادها مصطلحاً أثرياً يستخدم في العمارة عموماً وفي العمارة الدينية الخاصة بالكنائس خصوصاً، وفي الإنكليزية أب
- - هل تعلم أن أبجر Abgar اسم معروف جيداً يعود إلى عدد من الملوك الذين حكموا مدينة إديسا (الرها) من أبجر الأول وحتى التاسع، وهم ينتسبون إلى أسرة أوسروين
- - هل تعلم أن الأبجدية الكنعانية تتألف من /22/ علامة كتابية sign تكتب منفصلة غير متصلة، وتعتمد المبدأ الأكوروفوني، حيث تقتصر القيمة الصوتية للعلامة الك
- عدد الزوار حالياً 890
- الكل 76606468
- اليوم 42784
اخترنا لكم
كليسثنس
كليسْثِنِس كليسثنس Cleisthenes رجل دولة أثيني، عاش في القرن السادس ق.م، وهو ابن مِغاكْلِس Megacles من أسرة الكمايون Alcmaeonidae الشهيرة في أثينا. وكانت أثينا تحكم من قِبل الطاغية بيسستراتوس Peisistratos الذي أورث قبل وفاته ولديه هيبياس Hippias وهيبارخوس Hipparchos حكم أثينا، غير أن الحزب الأرستقراطي لم يرض بهذا التوريث، وقام بإعداد خطة لاغتيال هيبارخوس وهيبياس. وفي حين نجح شابان من النبلاء باغتيال هيبارخوس، نجا هيبياس من المؤامرة فأعدم القاتلين ونفى معظم أركان الحزب الأرستقراطي الذي نجح- بزعامة كليسثنس- في عقد اتفاق مع الإسبرطيين للإطاحة بحكم حزب الطغيان، وتمكن أرستقراطيو أثينا وجيش إسبرطة من طرد هيبياس خارج أثينا سنة 560 ق.م. غير أن الخلاف سرعان ما احتدم بين كليسثنس الذي دعا إلى إعادة النظام الديمقراطي في أثينا وبين نبيل آخر يدعى إيساغوراس Isagoras الذي دعا إلى إعادة النظام الأرستقراطي بتأييد الإسبرطيين. وقد أدى التدخل الاسبرطي إلى خسارة كليسثنس الانتخابات لمنصب الحاكم (الأرخون) وهربه خارج أثينا، ولكنه عاد بعد ثلاث سنوات في ظروف غامضة واستولى على مقاليد الأمور وأقصى النفوذين الأرستقراطي والإسبرطي.
مايرخولد (فسيفولود إميليفيتش-)
مايرخولد (فسيفولود إميليفيتش ـ) (1874 ـ 1940) فسيفولود إميليفيتش مايرخولد Vsevolod Emiljevich Meyerhold ممثل ومخرج ومدير ومُنظِّر مسرحي روسي - سوڤييتي، وأحد رواد فن الإخراج المسرحي الحديث عالمياً. اسمه الحقيقي كارل تيودور مايرغولد Karl Theodor Meyergold، فهو سليل عائلة من التجار ذات أصول ألمانية هاجرت إلى روسيا في عهد القيصرة كاترينا الثانية. ولد في مدينة بنزا Penza ومات في المعتقل في موسكو. درس الحقوق في جامعة موسكو مدة عامين (1895- 1896)، ثم انتسب إلى قسم المسرح في المعهد الفيلهارموني بإدارة رجل المسرح الشهير نِميروفيتش دانتشنكو N.Danchenko الذي أسس مع ستانيسلافسكي [ر] Stanislavski «مسرح الفن في موسكو» MCHT.