ارسل ملاحظاتك

ارسل ملاحظاتك لنا







المكونات الأساسية والقواعد الاستنتاجية في منطق الرتبة الأولى

العنوان بلغة أخرى: 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
مواضيع:
رابط المحتوى:
صورة الغلاف QR قانون
حفظ في:
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 

عناصر مشابهة