سؤال 8: ٨. اختبر قيم صدق وكذب القضية السابقة باستخدام جداول الصدق.
الإجابة: س ٨ (1) : تحديد القضايا البسيطة. (2) كتابة أطراف الملكة. (3) حساب قيم الروابط. (4) الحكم النهائي (صادقة / كاذبة / ممكنة).
خطوات الحل:
- **الخطوة 1: جدول المعطيات والمطلوب** | العنصر | الوصف | |--------|--------| | **المعطى** | قضية منطقية (غير محددة في السؤال، لكن المطلوب هو تطبيق منهجية اختبارها) | | **المطلوب** | اختبار قيم صدق أو كذب القضية باستخدام **جداول الصدق** |
- **الخطوة 2: المبدأ المستخدم** مبدأ **جداول الصدق** في المنطق الرمزي، وهي أداة منهجية لتحديد قيمة الصدق (صادقة/كاذبة/ممكنة) لأي قضية مركبة بناءً على قيم صدق مكوناتها البسيطة والروابط المنطقية المستخدمة.
- **الخطوة 3: خطوات الحل التفصيلية** 1. **تحديد القضايا البسيطة:** - استخراج جميع القضايا الأولية (الذرية) التي تتكون منها القضية المركبة. - تعيين رمز منطقي (مثل: p, q, r) لكل قضية بسيطة. 2. **كتابة أطراف الملكة (جدول الصدق الأساسي):** - إنشاء جدول يضم جميع **التوليفات الممكنة** لقيم الصدق (صادق T / كاذب F) للقضايا البسيطة. - إذا كان لدينا `n` قضية بسيطة، سيكون عدد الصفوف في الجدول هو $2^n$. 3. **حساب قيم الروابط المنطقية:** - بناءً على **تعريفات الروابط المنطقية** (مثل: وَ $\land$، أو $\lor$، إذا...فإن $\rightarrow$، التكافؤ $\leftrightarrow$، النفي $\lnot$)، - حساب قيمة الصدق لكل جزء من أجزاء القضية المركبة، عموداً تلو الآخر، حتى الوصول إلى **العمود النهائي** الذي يمثل القضية بأكملها. 4. **الحكم النهائي:** - فحص **العمود النهائي** في جدول الصدق: - إذا كانت جميع قيمه **T (صادق)**، فإن القضية **صادقة منطقياً (Tautology)**. - إذا كانت جميع قيمه **F (كاذب)**، فإن القضية **كاذبة منطقياً (Contradiction)**. - إذا احتوت على **T و F** معاً، فإن القضية **ممكنة الصدق (Contingency)**.
- **الخطوة 4: الإجابة النهائية** لاختبار أي قضية منطقية باستخدام جداول الصدق، يجب اتباع منهجية من أربع مراحل: أولاً، تحديد القضايا الأولية وترميزها. ثانياً، إنشاء جدول يوضح جميع الاحتمالات الممكنة لقيم صدقها. ثالثاً، تطبيق قواعد الروابط المنطقية لحساب قيمة الصدق للقضية المركبة خطوة بخطوة. وأخيراً، استخلاص الحكم النهائي على القضية بأنها صادقة تماماً، أو كاذبة تماماً، أو أن صدقها مشروط (ممكن).