سؤال 6: ٦. استكمل جداول الصدق الآتية: جدول 1: (ل ٧ ع) ل: ص، ص، ك، ك ع: ص، ك، ص، ك جدول 2: (م ← ن) م: ص، ص، ك، ك ن: ص، ك، ص، ك جدول 3: (ب ↔ ج) ب: ص، ص، ك، ك ج: ص، ك، ص، ك جدول 4: (ب ٠ ج) ب: ص، ص، ك، ك ج: ص، ك، ص، ك
الإجابة: س 6: جدول 1 (ل ٧ ع): ل ٧ ع: ص، ص، ص، ك س 6: جدول 2 (م ← ن): م ← ن: ص، ك، ص، ص س 6: جدول 3 (ب ↔ ج): ب ↔ ج: ص، ك، ك، ص س 6: جدول 4 (ب ٠ ج): ب ٠ ج: ك، ص، ص، ك
خطوات الحل:
- | الجدول | الرموز | القيم المدخلة | العملية | المطلوب | |--------|--------|---------------|---------|---------| | جدول 1 | ل، ع | ل: (ص، ص، ك، ك)<br>ع: (ص، ك، ص، ك) | **ل ٧ ع** (أو) | إيجاد قيم (ل ٧ ع) | | جدول 2 | م، ن | م: (ص، ص، ك، ك)<br>ن: (ص، ك، ص، ك) | **م ← ن** (شرطية) | إيجاد قيم (م ← ن) | | جدول 3 | ب، ج | ب: (ص، ص، ك، ك)<br>ج: (ص، ك، ص، ك) | **ب ↔ ج** (تشارط) | إيجاد قيم (ب ↔ ج) | | جدول 4 | ب، ج | ب: (ص، ص، ك، ك)<br>ج: (ص، ك، ص، ك) | **ب ٠ ج** (و) | إيجاد قيم (ب ٠ ج) |
- **القوانين المستخدمة:** 1. **العملية (أو) ٧:** تكون **ص** فقط عندما يكون كلا الطرفين **ك**، وإلا تكون **ص**. 2. **العملية الشرطية ←:** تكون **ك** فقط عندما يكون المقدم **ص** والتالي **ك**، وإلا تكون **ص**. 3. **العملية التشارطية ↔:** تكون **ص** عندما يكون الطرفان متساويين (كلاهما ص أو كلاهما ك)، وتكون **ك** عندما يختلفان. 4. **العملية (و) ٠:** تكون **ص** فقط عندما يكون كلا الطرفين **ص**، وإلا تكون **ك**.
- **حل جدول 1 (ل ٧ ع):** 1. الصف 1: ل=ص، ع=ص → (ص ٧ ص) = **ص** (لأن العملية (أو) تكون ص إذا كان أحد الطرفين ص على الأقل) 2. الصف 2: ل=ص، ع=ك → (ص ٧ ك) = **ص** 3. الصف 3: ل=ك، ع=ص → (ك ٧ ص) = **ص** 4. الصف 4: ل=ك، ع=ك → (ك ٧ ك) = **ك** (لأن كلا الطرفين ك) ∴ النتيجة: (ص، ص، ص، ك)
- **حل جدول 2 (م ← ن):** 1. الصف 1: م=ص، ن=ص → (ص ← ص) = **ص** (لأن المقدم ص والتالي ص، لا ينطبق الشرط الوحيد للكذب) 2. الصف 2: م=ص، ن=ك → (ص ← ك) = **ك** (المقدم ص والتالي ك، وهذا هو الشرط الوحيد للكذب في العملية الشرطية) 3. الصف 3: م=ك، ن=ص → (ك ← ص) = **ص** (لأن المقدم ك، فتكون القيمة ص بغض النظر عن التالي) 4. الصف 4: م=ك، ن=ك → (ك ← ك) = **ص** ∴ النتيجة: (ص، ك، ص، ص)
- **حل جدول 3 (ب ↔ ج):** 1. الصف 1: ب=ص، ج=ص → (ص ↔ ص) = **ص** (لأن الطرفان متساويان) 2. الصف 2: ب=ص، ج=ك → (ص ↔ ك) = **ك** (لأن الطرفان مختلفان) 3. الصف 3: ب=ك، ج=ص → (ك ↔ ص) = **ك** 4. الصف 4: ب=ك، ج=ك → (ك ↔ ك) = **ص** ∴ النتيجة: (ص، ك، ك، ص)
- **حل جدول 4 (ب ٠ ج):** 1. الصف 1: ب=ص، ج=ص → (ص ٠ ص) = **ص** (لأن كلا الطرفين ص) 2. الصف 2: ب=ص، ج=ك → (ص ٠ ك) = **ك** (لأن أحد الطرفين ك) 3. الصف 3: ب=ك، ج=ص → (ك ٠ ص) = **ك** 4. الصف 4: ب=ك، ج=ك → (ك ٠ ك) = **ك** ∴ النتيجة: (ص، ك، ك، ك)
- > **ملاحظة:** في العملية (و) ٠، القيمة تكون **ص** فقط عندما يكون كلا القضيتين **ص**، وهذا ما يفسر أن النتيجة في الصف الرابع هي **ك** وليس ص. **الإجابات النهائية:** - جدول 1 (ل ٧ ع): **ص، ص، ص، ك** - جدول 2 (م ← ن): **ص، ك، ص، ص** - جدول 3 (ب ↔ ج): **ص، ك، ك، ص** - جدول 4 (ب ٠ ج): **ص، ك، ك، ك**