The completeness of non-formal logical systems on propositional calculus

مقدم أطروحة جامعية

Abu al-Suud, Sabah Abd al-Salam

مشرف أطروحة جامعية

Guan, Bashir Husni

الجامعة

جامعة أم درمان الإسلامية

الكلية

كلية العلوم و التقانة

القسم الأكاديمي

قسم الرياضيات

دولة الجامعة

السودان

الدرجة العلمية

ماجستير

تاريخ الدرجة العلمية

2009

الملخص الإنجليزي

This thesis discusses the non- formal propositional calculus systems as branch of Mathematical Logic, by defining a Non-formal .

Theory using a countable set of symbols, set of wffs, a finite set of rules of inference and the concept of the logical proof was introduced.

A set of an adequate set of operators {⊃,∧,∨,¬}.

The researcher proves two significant theorems for the Non-Formal logical systems , in the first theorem I proved that every theorem in the system is a tautology, (Soundness Theorem ), and the second theorem showed that, If a wff A in the system is a tautology, then it is a theorem of the system (completeness Theorem).

التخصصات الرئيسية

الرياضيات

الموضوعات

عدد الصفحات

113

قائمة المحتويات

Table of contents.

Abstract.

Chapter One : Background and language.

Chapter Two : Non-formal deduction systems DSI, 1 ≤ i ≤ 4 using rules of inferences.

Chapter Three : Non-formal Deduction systems Defi 1 ≤ i ≤ 4 using definitions as rules of inferences.

Chapter Four : Non-formal deduction systems LEi, 1 ≤ i ≤ 5 using logical equivalent as rules of inferences.

Chapter Five : Soundness and the completeness of non-formal systems.

References.

نمط استشهاد جمعية علماء النفس الأمريكية (APA)

Abu al-Suud, Sabah Abd al-Salam. (2009). The completeness of non-formal logical systems on propositional calculus. (Master's theses Theses and Dissertations Master). Omdurman Islamic University, Sudan
https://search.emarefa.net/detail/BIM-363246

نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)

Abu al-Suud, Sabah Abd al-Salam. The completeness of non-formal logical systems on propositional calculus. (Master's theses Theses and Dissertations Master). Omdurman Islamic University. (2009).
https://search.emarefa.net/detail/BIM-363246

نمط استشهاد الجمعية الطبية الأمريكية (AMA)

لغة النص

الإنجليزية

نوع البيانات

رسائل جامعية

رقم السجل

BIM-363246

حفظتم الحفظ طباعة

قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"

أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي

منصة "معرفة" للكتاب العربي الجامعي الرقمي

تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر