العنوان بلغة أخرى: |
Foundations and Logical Inference Rules in First Order Logic |
---|---|
المصدر: | مجلة لارك للفلسفة واللسانيات والعلوم الاجتماعية |
الناشر: | جامعة واسط - كلية الآداب |
المؤلف الرئيسي: | الحديثى، ليث أثير يوسف (مؤلف) |
المؤلف الرئيسي (الإنجليزية): | Al-Hadithi, Laith Atheer Yousuf |
المجلد/العدد: | ع22 |
محكمة: | نعم |
الدولة: |
العراق |
التاريخ الميلادي: |
2016
|
الصفحات: | 475 - 486 |
DOI: |
10.31185/lark.Vol1.Iss22.616 |
ISSN: |
1999-5601 |
رقم MD: | 1188297 |
نوع المحتوى: | بحوث ومقالات |
اللغة: | العربية |
قواعد المعلومات: | AraBase, HumanIndex |
مواضيع: | |
رابط المحتوى: |
الناشر لهذه المادة لم يسمح بإتاحتها. |
LEADER | 05486nam a22002537a 4500 | ||
---|---|---|---|
001 | 1933600 | ||
024 | |3 10.31185/lark.Vol1.Iss22.616 | ||
041 | |a ara | ||
044 | |b العراق | ||
100 | |a الحديثى، ليث أثير يوسف |g Al-Hadithi, Laith Atheer Yousuf |e مؤلف |9 487759 | ||
245 | |a المكونات الأساسية والقواعد الاستنتاجية في منطق الرتبة الأولى | ||
246 | |a Foundations and Logical Inference Rules in First Order Logic | ||
260 | |b جامعة واسط - كلية الآداب |c 2016 | ||
300 | |a 475 - 486 | ||
336 | |a بحوث ومقالات |b Article | ||
520 | |f The aim of the research was to clarify the logic of the first order, its components, symbols, formulas, terminology and everything related to it because of its importance in the circles of mathematical logic and its importance in our practical life. This logic has special formulas and a way of writing symbols that differs from the rest of the fields of mathematical logic. A predicate is the one who will determine the form of the term and will conduct within the formula the behavior of (functional) roles. The complex formula contains more than one predicate in it, in addition to the fences that will determine the issue in terms of (quantum), not to mention the mechanism of values of truthfulness and lie of the term and formulas in this logic through the method of interpretation. The truth is that, this approach is strange and unknown among symbolic mechanisms and logical patterns in the logic of issues, whether in its simple or complex form, so the values of truth (binary values) will determine the validity of the formulas. Also, first order logic has foundations that made it a starting point for establishing second order logic, which is the model developed from the first with its demonstrative mechanisms and complex formulas. Also, first order logic was considered a starting point for establishing models theory, that mathematical theory that combines total sets in set theory and algebraic formulas. In addition, first order logic is important in the formation of logical programming languages, including Prolog, the famous prolog that relies mainly on this logic in constructing and interpreting its formulas, as well as in the field of artificial intelligence. Therefore, it was necessary to provide a brief and detailed statement about the components of this type of mathematical logic and to explain its mathematical and logical mechanisms. This abstract was translated by Dar AlMandumah Inc | ||
520 | |a كان الهدف من البحث بيان منطق الرتبة الأولى ومكوناته ورموزه وصيغه ومصطلحاته وكل ما يتعلق به لما يمثل من أهمية في أوساط المنطق الرياضي وأهميته في حياتنا العملية فهذا المنطق له صيغ خاصة وطريقة في كتابة الرموز تختلف عن بقية حقول المنطق الرياضي فالمحمول هو من سيحدد شكل المصطلح وسيسلك في داخل الصيغة سلوك وظائف (دالية) functional) ) والصيغة المعقدة تحتوي على أكثر من محمول فيها إضافة إلى الأسوار التي ستحدد القضية من ناحية (الكم) ناهيك عن آلية قيم صدق وكذب المصطلح والصيغ في هذا المنطق عن طريق منهج التفسير (interpretation) والحقيقة أن هذا النهج غريب وغير معروف في أوساط الآليات الرمزية والأنساق المنطقية في منطق القضايا سواء بصيغه البسيطة أو المعقدة فقيم الصدق (ثنائية القيم) هي ستحدد صدق الصيغ، كما أن لمنطق الرتبة الأولى أساسات جعلت منه منطلقا لإقامة منطق الرتبة الثانية (second order logic) وهو النموذج المطور بآلياته البرهانية وصيغه المعقدة عن الأول وكذلك اعتبر منطق الرتبة الأولى منطلقا لإقامة نظرية النماذج أو النمذجة (models theory) تلك النظرية الرياضية التي تجمع ما بين المجموعات الكلية في نظرية المجموعات والصيغ الجبرية بالإضافة إلى أن منطق الرتبة الأولى ذا أهمية في تكوين لغات البرمجة المنطقية (logical programming language) ومنها لغة برولوغ (prolog) الشهيرة التي تعتمد بالأساس على هذا المنطق في بناء وتفسير صيغها وكذلك في مجال الذكاء الصناعي (artificial intelligence) . لذا كان من الضروري تقديم بيان ملخص ومفصل عن مكونات هذا النوع من المنطق الرياضي وشرح آلياته الرياضية والمنطقية. | ||
653 | |a منطق المحمولات |a المنطق الرياضي |a علوم الرياضيات | ||
773 | |4 الفلسفة |4 علم اللغة |6 Philosophy |6 Linguistics |c 028 |e Lark Journal for Philosophy , Linguistics and Social Sciences |f Lārk |l 022 |m ع22 |o 2335 |s مجلة لارك للفلسفة واللسانيات والعلوم الاجتماعية |v 000 |x 1999-5601 | ||
856 | |u 2335-000-022-028.pdf | ||
930 | |d n |p y |q n | ||
995 | |a AraBase | ||
995 | |a HumanIndex | ||
999 | |c 1188297 |d 1188297 |