برهان صوري

البرهان الصوري (الإنكليزية: formal proof) لافتراض هو عبارة عن سلسلة من الاستنباطات المنطقية التي تصل إلى الافتراض انطلاقاً من قاعدة من البديهيات.

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

 انظر أيضاً

• برهان (منطق)

 وصلات خارجية

• "A Special Issue on Formal Proof". Notices of the American Mathematical Society. December 2008.
• 2πix.com: Logic Part of a series of articles covering mathematics and logic.