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

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

Untitled Document
أبحث عن شيء أخر
أزواج النبي "ص" يشاركن في الصراع على الخلافة
2024-11-06
استكمال فتح اليمن بعد حنين
2024-11-06
غزوة حنين والطائف
2024-11-06
اية الميثاق والشهادة لعلي بالولاية
2024-11-06
اية الكرسي
2024-11-06
اية الدلالة على الربوبية
2024-11-06

الأمراض الفطرية التي تصيب البلارجونيوم
2023-07-26
وراثي الحقد على الاسلام
6-4-2016
Advanced potentials
3-1-2017
أصل الحليّة
12-10-2014
أدوات التحليل المالي Financial Analysis Tools (تحليل التغير والاتجاه ــ التحليل الرأسي)
2023-06-23
دائرة كهربائية تحتوي على مقاومة
17-7-2016

Implies  
  
846   12:07 صباحاً   date: 2-1-2022
Author : Carnap, R
Book or Source : Introduction to Symbolic Logic and Its Applications. New York: Dover
Page and Part : ...


Read More
Date: 14-2-2017 1122
Date: 14-2-2017 2799
Date: 2-1-2022 1049

Implies

"Implies" is the connective in propositional calculus which has the meaning "if A is true, then B is also true." In formal terminology, the term conditional is often used to refer to this connective (Mendelson 1997, p. 13). The symbol used to denote "implies" is A=>BA superset B (Carnap 1958, p. 8; Mendelson 1997, p. 13), or A->B.

The Wolfram Language command Implies[pq] can be used to represent the logical implication p=>q.

In classical logic, A=>B is an abbreviation for ¬A v B, where ¬A denotes NOT and  v  denoted OR (though this is not the case, for example, in intuitionistic logic). => is a binary operator that is implemented in the Wolfram Language as Implies[AB], and can not be extended to more than two arguments.

A=>B has the following truth table (Carnap 1958, p. 10; Mendelson 1997, p. 13).

A B A=>B
T T T
T F F
F T T
F F T

If A=>B and B=>A (i.e., A=>B ^ B=>A), then A and B are said to be equivalent, a relationship which is written symbolically as A<=>BA<->B, or A=B (Carnap 1958, p. 8).


REFERENCES:

Carnap, R. Introduction to Symbolic Logic and Its Applications. New York: Dover, p. 8, 1958.

Mendelson, E. Introduction to Mathematical Logic, 4th ed. London: Chapman & Hall, 1997.




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


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

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