برهان صوري
البرهان الصوري (الإنكليزية: 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.