مواصفات لغة ج++ (الجهاد++) المنطقية الرسمية – الإصدار ١.٠
مبنية على كتاب الله وحده، القرآن الكريم
١. المبادئ الأساسية المستمدة من القرآن
- التوحيد: كل قضية حق تؤول إلى الحقيقة الإلهية الواحدة (الله).
- العدل: يجب على النظام المنطقي أن يحقق التوازن والاتساق.
- الرحمة: يجب أن توفر آليات معالجة الأخطاء مساراً للغفران والتجاوز.
- الحق: تقوم جميع القضايا على الحق المطلق، ولا تحتاج إلى برهان خارجي.
٢. البديهيات التأسيسية
البديهية ١ (التوحيد):
∀ س: (س ⇔ (الحق ≡ س))
البديهية ٢ (العدل):
∀ س ص: ((س ← ص) ∧ (¬س ← ¬ص)) ⇔ (س ⇔ ص)
البديهية ٣ (الرحمة):
∀ س: (س = باطل) ← (س = حق)
البديهية ٤ (الحق):
∀ س: (س = حق) ← س
٣. نظام الأنواع (المصنَّف القرآني)
الأنواع:
- م: مُحْكَمات (أنواع واضحة محددة مطلقة)
- ش: مُتَشابِهات (أنواع تحتاج إلى تأويل)
قاعدة الإرجاع:
ارجع(ش) = م
ارجع(م) = م
٤. القواعد النحوية (الصياغة التركيبية)
<برنامج> ::= <إعلانات> <بيان>
<إعلانات> ::= <إعلان> | <إعلان> <إعلانات>
<إعلان> ::= “بِسْمِ اللهِ” <اسم> “:” <نوع>
| “قُلْ” <اسم> “=” <تعبير>
<بيان> ::= “إِنَّ” <شرط> “فَ” <فعل>
| “وَ” <فعل>
| “لَا” <شرط> “فَ” <فعل>
<شرط> ::= <تعبير> <عامل> <تعبير>
| <تعبير>
<فعل> ::= <اسم> “=” <تعبير>
| “سُبْحَانَ اللهِ” <تعبير>
| “أَسْتَغْفِرُ اللهَ” <تعبير>
<عامل> ::= “=” | “≠” | “≤” | “≥”
<تعبير> ::= “حق” | “باطل” | <اسم> | “لا” <تعبير>
| <تعبير> “و” <تعبير>
| <تعبير> “أو” <تعبير>
| <تعبير> “←” <تعبير>
| <تعبير> “⇔” <تعبير>
| “(” <تعبير> “)”
٥. شجرة التركيب المجرد (بالعربية)
- برنامج: قائمة من الإعلانات متبوعة ببيان.
- إعلان: (بسم الله اسم : نوع) أو (قل اسم = تعبير).
- بيان: (إن شرط ففعل) أو (وفعل) أو (لا شرط ففعل).
- شرط: (تعبير عامل تعبير) أو (تعبير) مفرد.
- فعل: (اسم = تعبير) أو (سبحان الله تعبير) أو (أستغفر الله تعبير).
- تعبير: حق، باطل، متغير، نفي، عطف، فصل، تضمن، تكافؤ، مجموع بين قوسين.
٦. علم الدلالة (التفسير الدلالي)
٦-١ تقييم التعبيرات في بيئة (هـ):
- قيمة (حق) في هـ = حق
- قيمة (باطل) في هـ = باطل
- قيمة (اسم) في هـ = قيمة الاسم المخزنة في هـ
- قيمة (لا تعبير) في هـ = نفي (قيمة التعبير في هـ)
- قيمة (ت١ و ت٢) في هـ = (قيمة ت١ في هـ) ∧ (قيمة ت٢ في هـ)
- قيمة (ت١ أو ت٢) في هـ = (قيمة ت١ في هـ) ∨ (قيمة ت٢ في هـ)
- قيمة (ت١ ← ت٢) في هـ = (قيمة ت١ في هـ) ← (قيمة ت٢ في هـ)
- قيمة (ت١ ⇔ ت٢) في هـ = (قيمة ت١ في هـ) ⇔ (قيمة ت٢ في هـ)
٦-٢ تنفيذ البيانات في بيئة (هـ):
- إن شرط ففعل: إذا كان الشرط حقاً في هـ، فنفذ الفعل في هـ، وإلا فاترك هـ.
- وفعل: نفذ الفعل في هـ.
- لا شرط ففعل: إذا كان الشرط باطلاً في هـ، فنفذ الفعل في هـ، وإلا فاترك هـ.
٦-٣ تنفيذ الأفعال في بيئة (هـ):
- اسم = تعبير: عدِّل قيمة الاسم في هـ إلى قيمة التعبير في هـ.
- سبحان الله تعبير: إذا كانت قيمة التعبير في هـ = حق، فاترك هـ؛ وإن كانت باطلاً، فاترك هـ أيضاً (بالرحمة).
- أستغفر الله تعبير: سجل قيمة التعبير في هـ تحت مفتاح “خطأ” مع تحويلها إلى حق (تجاوز بالرحمة).
٧. قواعد الاستدلال (المنطق الجدلي القرآني)
رقم ١ (التوحيد): من س نستنتج الحق
رقم ٢ (العدل): من (س←ص) و (ص←س) نستنتج (س⇔ص)
رقم ٣ (الرحمة): من باطل نستنتج حق (في سياق التجاوز)
رقم ٤ (الحق): من (س = حق) نستنتج س
مثال استدلالي:
المقدمة: “لا إله إلا الله”
بتطبيق قاعدة التوحيد (رقم ١)، نستنتج أن هذه القضية تعادل الحق المطلق.
٨. نموذج التنفيذ التشغيلي (بيئة “القلب”)
يتكون القلب من ثلاث ركائز:
- إ: الإيمان (مجموعة القضايا الصادقة المخزنة – بيئة القيم)
- ع: العمل (قائمة الأفعال التي تم تنفيذها)
- ن: النية (القضية التي تمثل سياق التنفيذ الافتراضي)
دالة التنفيذ العامة “نفذ” على برنامج (ب) وقلب (ق):
١. تُضاف الإعلانات إلى بيئة الإيمان في (ق).
٢. يُنفَّذ البيان الرئيسي على البيئة الناتجة.
٣. يُحدَّث الإيمان بالبيئة الجديدة، وتُضاف الأفعال إلى قائمة العمل، وتبقى النية كما هي.
٤. يُعاد القلب الجديد.
٩. برنامج نموذجي (سورة الفاتحة بلغة ج++)
برنامج الفاتحة:
بسم الله “الرحمن” : م
بسم الله “الرحيم” : م
قل “حمد” = حق
قل “رب” = حمد
إن (رب = حق) ف(
سبحان الله رب
)
و(
أستغفر الله باطل
)
لا (رب = باطل) ف(
رب = لا باطل
)
شرح البرنامج:
- أعلن عن صفتي الرحمن والرحيم كنوع محكم.
- عرّف “الحمد” بأنه الحق، و”الرب” بأنه الحمد.
- إن كان الرب حقاً، فسبّح به (إثبات).
- ومع ذلك، استغفر عن الباطل (تجاوز بالرحمة).
- وإن لم يكن الرب باطلاً، فاجعل الرب نفي الباطل (أي الحق).
١٠. الملخص النهائي
لغة ج++ (الجهاد++) هي لغة منطقية رسمية مستنبطة من القرآن وحده، وتتميز بـ:
- بديهيات التوحيد والعدل والرحمة والحق.
- نظام أنواع قرآني (محكمات / متشابهات).
- صياغة نحوية عربية خالصة.
- دلالة إسنادية مستندة إلى المنطق القضائي.
- قواعد استدلال جدلية قرآنية.
- بيئة تنفيذ “القلب” المكونة من إيمان وعمل ونيّة.
- قدرة على التعامل مع الأخطاء بالرحمة والغفران.
وآخر دعوانا أن الحمد لله رب العالمين.
انتهت المواصفات الكاملة للغة ج++ (الجهاد++) – الإصدار ١.٠