📚 قضية التشاط (التكافؤ)
المفاهيم الأساسية
قضية التشاط (التكافؤ): قضية تجمع بين القضية الشرطية وعكسها، وتعبّر عنها في اللغة الطبيعية بـ "إذا وفقط إذا...".
خريطة المفاهيم
```markmap
اختبار صدق القضايا
تركيب القضايا
القضايا المركبة
#### رابط الفصل
##### التعريف: أداة "أو" للتعبير عن الفصل بين قضيتين.
##### الرمز: ٧
##### أنواعه
###### الفصل الحصري (الاستبعادي)
- يحول دون الجمع بين البديلين.
- مثال: (أحمد نائم أو يذاكر دروسه).
- مثال: (ستُهبط الطائرة في مطار جدة أو مطار الرياض).
###### الفصل الشمولي (الضعيف)
- يمكن أن يصدق فيه البديلان معاً.
- مثال: (إما أن أحمد يتناول طعامه أو يشاهد التلفاز).
##### أمثلة أخرى
- (إبراهيم طالب أو موظف).
- (خولة طبيبة أو شاعرة).
##### حكم قضية الفصل
- تصدق إذا صدق أحد مفصولاتها (أحد طرفيها).
- تكذب إذا كذب المفصولان (الطرفان) معاً.
##### جدول صدق قضية الفصل
- ص، ص، ص
- ص، ك، ص
- ك، ص، ص
- ك، ك، ك
#### رابط الوصل
##### حكم قضية الوصل
- تصدق إذا صدق طرفاها معاً.
- تكذب إذا كذب أحد طرفيها أو كلاهما.
#### رابط الشرط
##### التعريف: نعبر عنه بأداة "إذا" أو "لو".
##### الرمز: ←
##### أمثلة
- (إذا زرتني فسوف أكون في انتظارك)
- (إذا تفوقت فسوف نخرج إلى نزهة)
##### حكم قضية الشرط
- تصدق إذا كذب المقدم أو إذا صدق التالي.
- تكذب إذا صدق المقدم وكذب التالي.
##### جدول صدق قضية الشرط
- ص، ص، ص
- ص، ك، ك
- ك، ص، ص
- ك، ك، ص
##### تمرين على الجدول
- الجدول المعطى يحتوي على قيم صدق (ص) وكذب (ك) للمقدّم (ل) والتالي (م).
- المطلوب: استخراج الأخطاء في الجدول وتبرير الإجابة.
#### رابط التشاط (التكافؤ)
##### التعريف: قضية تجمع بين القضية الشرطية وعكسها.
##### التعبير اللغوي: "إذا وفقط إذا..."
##### الرمز: ↔
##### أمثلة
- إذا وفقط إذا فاز الفريق بالمباراة القادمة سيحصل على الكأس.
- إذا وفقط إذا أخذت تطعيماً مضاداً لكورونا فستصعد إلى الطائرة.
- (إذا وفقط إذا تسامحت مع الآراء المخالفة فسأكون مفكراً نافذاً) →
(ل ↔ ع)
##### حكم قضية التشاط
- تصدق إذا صدق المتشارطان معاً، أو كذبا معاً.
- تكذب إذا صدق طرف وكذب الآخر.
##### جدول صدق قضية التشاط
| ل | ع | (ل ↔ ع) |
|---|---|---------|
| ص | ص | ص |
| ص | ك | ك |
| ك | ص | ك |
| ك | ك | ص |
```
نقاط مهمة
- الرمز المستخدم لقضية التشاط هو السهم ذو الرأسين: ↔
- حكم قضية التشاط: تكون صادقة فقط عندما يكون طرفاها متساويين في القيمة (كلاهما صادق أو كلاهما كاذب).