عزيزي الطالب لعلّه بات من المألوف لديك خلال مراحل دراستك السابقة مسألة البرهان أو الإثبات الذي يتبع كل نظرية أو حقيقة رياضية. ولعلك تذكر تفاصيل البراهين والاثباتات لبعض النظريات الرياضية. ولا شك أن لكل برهان من البراهين منهجاً ومنطقاً في إثبات الحقيقة التي هو بصدد إثباتها. فأحياناً يضع الباحث مجموعة من الحقائق ويستنتج حقيقة أخرى اعتماداً عليها، وهكذا حتى يصل إلى ما يريد اثباته. وأحياناً يتم البرهان عن طريق نفي الاحتمالات الأخرى الواردة فلا يبقى سوى الاحتمال الذي نحن بصدده. وهناك طرق أخرى كثيرة للبرهان الرياضي سوف نتناولها تفصيلاً خلال هذه الوحدة.

 ستبدأ هذه الوحدة بمعالجة المبادئ الأساسية للمنطق الرياضي قبل أن تنطلق إلى طرق البرهان مع تطبيقاتها في مجال البرامج الحاسوبية.