مبرهنة

لعدم الخلط مع Teorema أو Teorema (disambiguation)|Teorema، Theorema|Theorema (disambiguation)|Theorema، أو نظرية.

The Pythagorean theorem has at least 370 known proofs

المبرهنة theorem قضية افتراضية ( بمعنى جملة خبرية : تحتمل الصدق و الكذب ) proposition قد تم البرهنة عليها و إثباتها أو انها مطلوب إثباتها ، و ذلك بناء على افتراضات واضحة محددة explicit assumptions . يعتبر برهنة المبرهنات احدى اهم فعاليات الرياضياتيون .

يجب عدم الخلط بين المبرهنة "theorem" و "النظرية".

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

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

 المبرهنات في المنطق

 تفسير مبرهنة شكلية

المقالة الرئيسية: تفسير (منطق)

 المبرهنات والنظريات

المقالة الرئيسية: نظرية and نظرية (منطق رياضي)

 انظر أيضاً

• قائمة المبرهنات
• Fundamental theorem
• Formula
• Inference
• Toy theorem

 المراجع

• Heath, Sir Thomas Little (1897). The works of Archimedes. Dover. Retrieved 2009-11-15.
• Hoffman, P. (1998). The Man Who Loved Only Numbers: The Story of Paul Erdős and the Search for Mathematical Truth. Hyperion, New York. ISBN 1-85702-829-5.
• Hofstadter, Douglas (1979). Gödel, Escher, Bach: An Eternal Golden Braid. Basic Books.
• Hunter, Geoffrey (1996) [1973]. Metalogic: An Introduction to the Metatheory of Standard First Order Logic. University of California Press. ISBN 0-520-02356-0.
• Mates, Benson (1972). Elementary Logic. Oxford University Press. ISBN 0-19-501491-X.
• Petkovsek, Marko; Wilf, Herbert; Zeilberger, Doron (1996). A = B. A.K. Peters, Wellesley, Massachusetts. ISBN 1-56881-063-6. Archived from the original on 2006-01-29.

 وصلات خارجية

• Eric W. Weisstein, Theorem at MathWorld.
• Theorem of the Day