برهان رياضي

عندما يراد إثبات قضية رياضية يستحسن، في حال الإمكان، وضعها في صيغة اقتضاء ق ¬ ك، إن ذلك يتيح صياغة عكس هذه القضية بسهولة. يسمى العنصر الأيمن (المقدم) «ق» في الاقتضاء فرضاً، ويسمى العنصر الأيسر (التالي) «ك» طلباً. وعلى سبيل المثال تكتب المبرهنة: في كل متوازي أضلاع: ينصف كل من القطرين القطر الآخر، في صيغة اقتضاء كما يأتي: إذا كان الرباعي متوازي أضلاع، فإن قطريه ينصِّف كل منهما الآخر. فالفرض هو أن الرباعي متوازي الأضلاع، والطلب هو أن ينصف كل من قطريه القطر الآخر.

للبرهان الرياضي عدة طرق : البرهان المباشر، العكسي، البرهان بالتناقض، البرهان بالاختيار، البرهان بالاستقراء... الخ