سؤال 1: أحدد نوع العلاقة المنطقية بين كل من القضايا التالية، والقضية "لا تاجر مستغل". أ. بعض المستغلين من التجار. ب. كل التجار من المستغلين. ج. ليس بعض المستغلين من التجار. د. كل التجار مستغلون. هـ. بعض التجار مستغلون. و. لا أحد من المستغلين من التجار. ز. بعض التجار ليسوا من المستغلين.
الإجابة: أ. تناقض ب. تضاد ج. تداخل د. تضاد هـ. تداخل و. تناقض ز. تداخل
خطوات الحل:
- | القضية الأساسية | الرمز المنطقي | |------------------|---------------| | لا تاجر مستغل | $\neg \exists x (T(x) \land M(x))$ أو $\forall x (T(x) \rightarrow \neg M(x))$ | **تفسير:** القضية الأساسية تعني أنه **لا يوجد** أي تاجر هو مستغل. أي أن **جميع** التجار **ليسوا** مستغلين.
- **المبدأ المستخدم:** تحديد العلاقات المنطقية بين القضايا (التناقض، التضاد، التداخل) بناءً على **مربع التناقض** (Square of Opposition) للمنطق القضوي.
- **الخطوة 1: تحليل كل قضية مقترحة** 1. **أ. بعض المستغلين من التجار.** * الصيغة: $\exists x (M(x) \land T(x))$ * **التحليل:** هذه القضية تنفي القضية الأساسية مباشرة. القضية الأساسية تقول "لا تاجر مستغل" (أي لا تقاطع بين المجموعتين). وهذه القضية تقول "هناك تقاطع بينهما". * **العلاقة:** **تناقض**. 2. **ب. كل التجار من المستغلين.** * الصيغة: $\forall x (T(x) \rightarrow M(x))$ * **التحليل:** القضية الأساسية تقول "كل التجار ليسوا مستغلين". وهذه القضية تقول العكس تماماً "كل التجار مستغلون". لا يمكن أن تكونا صحيحتين معاً، ولكن يمكن أن تكونا خاطئتين معاً (مثلاً إذا كان بعض التجار مستغلين والبعض الآخر ليسوا كذلك). * **العلاقة:** **تضاد**. 3. **ج. ليس بعض المستغلين من التجار.** * الصيغة: $\neg \exists x (M(x) \land T(x))$ أو $\forall x (M(x) \rightarrow \neg T(x))$ * **التحليل:** هذه القضية تعني "لا يوجد مستغل هو تاجر". هذه **ليست نفيًا مباشرًا** للقضية الأساسية (التي تقول "لا يوجد تاجر هو مستغل"). يمكن أن تكون صحيحة مع صحة القضية الأساسية (إذا لم يكن هناك تقاطع بين المجموعتين أصلاً). * **العلاقة:** **تداخل** (يمكن أن تكونا صحيحتين معًا). 4. **د. كل التجار مستغلون.** * الصيغة: $\forall x (T(x) \rightarrow M(x))$ * **التحليل:** نفس تحليل القضية (ب). * **العلاقة:** **تضاد**. 5. **هـ. بعض التجار مستغلون.** * الصيغة: $\exists x (T(x) \land M(x))$ * **التحليل:** هذه القضية تنفي القضية الأساسية مباشرة (مثل القضية أ ولكن بصيغة أخرى). القضية الأساسية تنفي وجود أي تاجر مستغل، وهذه تؤكد وجوده. * **العلاقة:** **تناقض**. 6. **و. لا أحد من المستغلين من التجار.** * الصيغة: $\forall x (M(x) \rightarrow \neg T(x))$ * **التحليل:** هذه القضية مطابقة تماماً للقضية (ج) "ليس بعض المستغلين من التجار". وهي متوافقة مع القضية الأساسية. * **العلاقة:** **تداخل**. 7. **ز. بعض التجار ليسوا من المستغلين.** * الصيغة: $\exists x (T(x) \land \neg M(x))$ * **التحليل:** القضية الأساسية أعم وأقوى، فهي تقول **كل** التجار ليسوا مستغلين. هذه القضية أضعف، فهي تقول أن **بعضهم على الأقل** ليسوا مستغلين. إذا كانت القضية الأساسية صحيحة (الكل)، فهذه القضية (البعض) صحيحة حتماً. * **العلاقة:** **تداخل** (إذا صحت القضية الأساسية صحت هذه تلقائياً).
- > **ملخص العلاقات:** > * **التناقض:** لا يمكن أن تكون القضيتان صحيحتين معاً ولا خاطئتين معاً. (أ، هـ) > * **التضاد:** لا يمكن أن تكونا صحيحتين معاً، ولكن يمكن أن تكونا خاطئتين معاً. (ب، د) > * **التداخل:** يمكن أن تكونا صحيحتين معاً. (ج، و، ز) **الإجابة النهائية:** العلاقة المنطقية بين القضية الأساسية "لا تاجر مستغل" وبين كل قضية مقترحة هي كما يلي: **أ. تناقض، ب. تضاد، ج. تداخل، د. تضاد، هـ. تناقض، و. تداخل، ز. تداخل**.