المرجع الالكتروني للمعلوماتية
المرجع الألكتروني للمعلوماتية

الرياضيات
عدد المواضيع في هذا القسم 9761 موضوعاً
تاريخ الرياضيات
الرياضيات المتقطعة
الجبر
الهندسة
المعادلات التفاضلية و التكاملية
التحليل
علماء الرياضيات

Untitled Document
أبحث عن شيء أخر
{ان أولى الناس بإبراهيم للذين اتبعوه}
2024-10-31
{ما كان إبراهيم يهوديا ولا نصرانيا}
2024-10-31
أكان إبراهيم يهوديا او نصرانيا
2024-10-31
{ قل يا اهل الكتاب تعالوا الى كلمة سواء بيننا وبينكم الا نعبد الا الله}
2024-10-31
المباهلة
2024-10-31
التضاريس في الوطن العربي
2024-10-31

Newton,s Divided Difference Interpolation Formula
21-11-2021
q-Pochhammer Symbol
29-8-2019
ما هي الحشرات اللادغة أو اللاسعة؟
13-4-2021
Adiabaitc
5-9-2017
Dickman Function
14-3-2020
العوامل المؤثرة في النقل- العوامل الطبيعية - التركيب الجيولوجي لسطح الأرض
25-4-2021

Deduction Theorem  
  
844   07:29 مساءً   date: 23-1-2022
Author : Kleene, S. C
Book or Source : "The Deduction Theorem." §21 in Introduction to Metamathematics. Princeton, NJ: Van Nostrand
Page and Part : ...


Read More
Date: 23-1-2022 612
Date: 15-2-2022 1944
Date: 20-1-2022 1327

Deduction Theorem

 

A metatheorem in mathematical logic also known under the name "conditional proof." It states that if the sentential formula B can be derived from the set of sentential formulas A_1,...,A_n, then the sentential formula A_n==>B can be derived from A_1,...,A_(n-1).

In a less formal setting, this means that if a thesis S can be proven under the hypotheses U,V, then one can prove that V implies S under hypothesis U.


 

REFERENCES

Kleene, S. C. "The Deduction Theorem." §21 in Introduction to Metamathematics. Princeton, NJ: Van Nostrand, pp. 90-94, 1964.

Monk, D. J. Mathematical Logic. New York: Springer-Verlag, p. 118, 1976.

Robbin, J. W. "The Deduction Theorem." §21 in Mathematical Logic. New York: W. A. Benjamin, pp. 16-20, 1969.

Shoenfield, J. R. "The Deduction Theorem." §3.3 in Mathematical Logic. Reading, MA: Addison-Wesley, pp. 33-34, 1967.




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


يعتبر علم المثلثات Trigonometry علماً عربياً ، فرياضيو العرب فضلوا علم المثلثات عن علم الفلك كأنهما علمين متداخلين ، ونظموه تنظيماً فيه لكثير من الدقة ، وقد كان اليونان يستعملون وتر CORDE ضعف القوسي قياس الزوايا ، فاستعاض رياضيو العرب عن الوتر بالجيب SINUS فأنت هذه الاستعاضة إلى تسهيل كثير من الاعمال الرياضية.

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