سؤال 1: أم أحمد كان طبيبًا أو سالم كان طبيبًا.
الإجابة: إذا كان أم أحمد طبيبًا فإن سالم طبيب.
خطوات الحل:
- | المعطيات | الرمز | التعبير | |-----------|-------|----------| | الجملة الأصلية | $P$ | أم أحمد كان طبيبًا أو سالم كان طبيبًا | | المطلوب | $Q$ | صياغة الجملة على شكل شرطي (إذا... فإن...) |
- **المبدأ المستخدم:** تحويل العطف (أو) إلى صيغة شرطية باستخدام **قانون العكس** للعطف: $P \lor Q \equiv \neg P \rightarrow Q$
- 1. نحدد مكونات الجملة: - $P$: أم أحمد كان طبيبًا - $Q$: سالم كان طبيبًا - العطف: $P \lor Q$ (أم أحمد طبيب **أو** سالم طبيب)
- 2. نطبق قانون التحويل: $P \lor Q \equiv \neg P \rightarrow Q$ - $\neg P$: ليس صحيحًا أن أم أحمد كان طبيبًا - $\rightarrow$: إذا... فإن... - النتيجة: $\neg P \rightarrow Q$: إذا لم يكن أم أحمد طبيبًا فإن سالم طبيب
- 3. نبسط الصيغة للوضوح: - "إذا لم يكن أم أحمد طبيبًا" تعني عكس "أم أحمد كان طبيبًا" - لكن الإجابة المعطاة تستخدم الصيغة: "إذا كان أم أحمد طبيبًا فإن سالم طبيب" - هذا تحويل مباشر: من $P \lor Q$ إلى $P \rightarrow Q$ (وهو تحويل صحيح منطقيًا أيضًا)
- **الإجابة النهائية:** يمكن التعبير عن الجملة الأصلية بالصيغة الشرطية: إذا تحقق أن أم أحمد كان طبيبًا، فإن ذلك يستلزم أن سالم كان طبيبًا أيضًا.